HomeFreeBSD

x86: provide userspace implementation of sched_getcpu() where possible