PCI: Fix warning in setup-res.c on 32-bit platforms with 64-bit resources