[U-Boot] [PATCH v2 0/5] Raspberry Pi EFI enablement