[coreboot-gerrit] Patch merged into coreboot/master: version: allow stating the coreboot revision in .coreboot-version