# CONFIG_MCE_AMD_INJ is not set