[coreboot-gerrit] Patch set updated for coreboot: 07a8080 build: get rid of a special case