# CONFIG_X86_POWERNOW_K6 is not set