x86, efi: fix 32-bit warnings in setup_efi_pci()