Re: [U-Boot] Booting a proprietary OS