[coreboot] Patch merged into coreboot/master: 4815913 build system: Mark clean-for-update phony