Merge 3rd batch of EFI fixes into efi/urgent

This commit is contained in:
Ard Biesheuvel 2023-10-20 18:11:06 +02:00
commit c03d21f05e
4 changed files with 71 additions and 10 deletions