[coreboot] Patch merged into coreboot/master: 02ae0bf build system: Don't run the full build system on "make clean"