ppc: Fix compile error for boards with CONFIG_DDR_ECC