[coreboot-gerrit] Patch merged into coreboot/master: 75fcaf9 build system: create proper dependency files