# CONFIG_X86_REBOOTFIXUPS is not set