Re: [U-Boot] mx28evk kernel does not boot with 2012.07-rc3