# CONFIG_EDAC_MCE_INJ is not set
