Re: [PATCH 7/9] makefile: Update clean rule to remove files generated by binman