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