Re: [PATCH] Makefile: Fix generation of flash.bin u-boot.itb with binman