Re: [U-Boot] [PATCH 15/34] binman: Use the Makefile for u_boot_no_ucode_ptr