Symbol: sysctl_machdep_booted_kernel