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