# CONFIG_EDAC_DMC520 is not set
