Re: [U-Boot] booting the kernel