[coreboot-gerrit] [XS] Change in coreboot[main]: sconfig: Move config_of_soc from device.h to static.h