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