Re: [U-Boot] broken lib_arm/boom.c/do_bootm_linux()