Configure the device tree to support the correct PCI spaces