Fix num_cpus() on FreeBSD.