[U-Boot] [PATCH v2 0/8] Raspberry Pi 32/64 support