binman: Write the original input fdtmap to a file