Re: [U-Boot] PPC440GX: DDR ECC init time.