Comment 1 for bug 1925417

When i try to do it manually using the instructions provided here:

https://mricher.fr/post/boot-from-an-efi-shell/

I see that

Mapping table
      FS0: Alias(s):HD0m:;BLK4:
          VenHw(837DCA9E-E874-4D82-B29A-23FE0E23D1E2,003E000A00000000)/HD(12,GPT,49037CF8-B2EF-5B4B-8CCE-EF5803A9E8B3,0x3D000,0x10000)
    BLK13: Alias(s):
          VenHw(93E34C7E-B5

BLK4 is not having any EFI file.