Можно ли через UEFI-shell x64 запустить 32-bit .efi?

Question

[Creat1ve]

Можно ли через UEFI-shell x64 запустить 32-bit .efi?
Или каким-нибудь загрузчиком? Варианты с изменением настроек в UEFI-BIOS не рассматриваются, т.к. на ряде ноутбуков они кастрированы до нельзя.