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