Re: [PATCH 12/20] sandbox: Fix up building for of-platdata