Re: [PATCH v10 1/9] sandbox: Drop distro_boot