Re: [PATCH 04/20] binman: Tidy up comment for Bintoolfdt_add_pubkey.run()