[U-Boot] Using U-boot on the IXP432