sys_freebsd.c: change system_cpu to use sysctl