[U-Boot] Booting zImage on IXP425 BE