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