Re: [U-Boot-Users] [PATCH]PPC440EPx Emit DDR0 registers on machine check interrupt