[coreboot] Patch merged into coreboot/master: d9dd44c Keep cscope.out when distclean.