[coreboot-gerrit] Patch merged into coreboot/master: b83f7de build: get rid of a special case