Re: [PATCH v3 5/9] sunxi: binman: Provide a default BL31 filename