Re: [PATCH 06/40] sandbox: Allow building with GENERATE_ACPI_TABLE