[PATCH v4 00/34] efi: Improvements to U-Boot running on top of UEFI