[U-Boot] Help on getting the AT91 u-boot patch