[PATCH 05/42] binman: Update the entrydocs header