[uefi] enable 32bit uefi support
Merge pull request #3574 from stefansaraev/efi32

[uefi] enable 32bit uefi support