This is not what the original posted problem was about, that deals with 32 bit images on 32 EFI only architecture.
This is not what the original posted problem was about, that deals with 32 bit images on 32 EFI only architecture.