Extend binman to generate boot headers