[U-Boot] [PATCH v3 10/10] RFC: Use binman for an x86 board