[coreboot-gerrit] Patch merged into coreboot/master: 60a4a73 cbfstool: fix --machine