[PATCH v3 13/27] binman: Use standard filenames for SPL/TPL devicetree