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