x86, efi: Fix PCI ROM handing in EFI boot stub, in 32-bit mode