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