What does OS do with the 'ranges' property in PCI RC node in the device tree?