[U-Boot] ARM Versatile port - possibly inefficient code?