[PATCH v2 07/25] binman: Tweak collect_contents_to_file() and docs