Re: u-boot requirements for genode