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