[coreboot] Patch merged into coreboot/master: e605f78 Remove useless semicolon