[PATCH 00/13] efi_loader: rework/improve UEFI secure boot code