Re: Extend binman to generate boot headers