Re: [PATCH 19/20] Makefile: Provide VPL devicetree and padding to binman