Set the PCI base address to 0xf0000000.