[coreboot-gerrit] Patch set updated for coreboot: 4de93aa sio1007: Properly build '.c' files