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