# CONFIG_X86_ANCIENT_MCE is not set