use kern.cp_times sysctl for FreeBSD smp support