Change in coreboot[master]: util/sconfig: Fix for multidomain support sconfig/devicetree.cb

[Mariusz Szafrański (Code Review)]

Attention is currently required from: Furquan Shaikh, Martin Roth, Mariusz Szafrański, Jonathan Zhang, Angel Pons, Michal Motyl.
Hello build bot (Jenkins), Furquan Shaikh, Martin Roth, Jonathan Zhang, Suresh Bellampalli, Subrata Banik, Angel Pons, Michal Motyl,

I'd like you to reexamine a change. Please visit

https://review.coreboot.org/c/coreboot/+/51180

to look at the new patch set (#4).

Change subject: util/sconfig: Fix for multidomain support sconfig/devicetree.cb
......................................................................

util/sconfig: Fix for multidomain support sconfig/devicetree.cb

Fixes sconfig related build errors while there exists DEV.FUNC number
shared by two devices from different domains (root buses)
i.e.

device domain 0 on
    	device pci 00.0 on end
    	.......
    end
    device domain 1 on
    	device pci 00.0 on end
    	.......
    end

Two domains (each with its own root PCI bus) and device with 00.0
exists on both buses.
Tested on PoC code for unreleased SoC based on multidomain concept CB:56263

Change-Id: Idd639d0cb3ed1a49ed7c7b1c77ac747ba6f77672
Signed-off-by: Mariusz Szafranski 
---
M util/sconfig/main.c
1 file changed, 9 insertions(+), 8 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/80/51180/4