Re: FW: [PATCH v4 00/13] riscv: Switch to use binman to generate u-boot.itb