This isn't actually a BSD native API as FreeBSD uses a per-cpu variable
to store cpuids, but rather a replacement we can use.