$ cd /tmp && cat /proc/acpi/dsdt > dsdt.dat
$ cd /tmp && iasl -d dsdt.dat > dsdt.dsl
$ cd /tmp && iasl -tc dsdt.dsl
$ cd /tmp && iasl -tc dsdt.dsl
$ cd /tmp && cp dsdt.hex /usr/src/linux/include/acpi/dsdt_table.h
$ cd /usr/src/linux/ $ grep STANDALONE .config # CONFIG_STANDALONE is not set $ grep -i dsdt .config CONFIG_ACPI_CUSTOM_DSDT=y CONFIG_ACPI_CUSTOM_DSDT_FILE="/usr/src/linux/include/acpi/dsdt_table.h"This means you have to disable in Device Driver -> Generic Driver Options the option Select only drivers that don't need compile-time external ....
Afterwards to you have to enable in Power management options -> ACPI (Advanced ...) the option Include Custom DSDT and provide the full path to the file in the next field.