[coreboot] Patch set updated for coreboot: 8bff8ea build system: Don't run the full build system on "make clean"