[U-Boot-Users] Question on ECC SDRAM initialization in PPC4xx