# CONFIG_X86_E_POWERSAVER is not set