# CONFIG_EDAC_MPC85XX is not set