[coreboot-gerrit] Patch set updated for coreboot: sconfig: pass in devicetree filename