I have found that the problem is the way the newer Linux kernels use ACPI toenumerate all the PCI host bridges, and part of the host bridge description isthe “_CRS” (current resource settings) property, which lists the address spaceused by the bridge.