Re: [PATCH v3 31/35] acpi: Add support for DSDT generation