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