[coreboot] Multi domain PCI resource allocation: How to deal with multiple root busses on one domain