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