[U-Boot] Upgrading PowerPC 4xx to v2013.01