kernel/process: Remove unused boost header include

Boost headers typically include a lot of other headers, so removing this
can prevent a bit of unnecessary compiler churn when building.