# CONFIG_EDAC_I10NM is not set
