[coreboot-gerrit] Patch merged into coreboot/master: f430546 build system: Introduce manual file type