[U-Boot] [PATCH] Makefile: fix implementation of BINMAN_DEBUG