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