[coreboot] Patch merged into coreboot/master: fd8418f Add coreboot version to id area