[coreboot] Patch merged into coreboot/master: 6585f29 Makefile: No need to mkdir when distclean