[PATCH 11/15] binman: Rename directory to binmanu