HomeFreeBSD

linuxkpi: Define `boot_cpu_data.x86_max_cores`