[coreboot] v3 make distclean broken