arch/x86/mm/pat.c: use boot_cpu_has()