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