[PATCH] Makefile: pass external DTB provided by make variable EXT_DTB to binman