linux/arch/x86/kernel/cpu/powerflags.c