Re: [U-Boot] [RFC] mx28: Fix reboot from the kernel