Re: [PATCH v4 01/18] arch: sandbox: add an config SANDBOX_BINMAN