binman: Use the Makefile for u_boot_no_ucode_ptr