# CONFIG_EDAC_IMH is not set
