edac mpc85xx: add support for mpc8572