Overriding DSDT

Linux supports a method of overriding the BIOS DSDT:

CONFIG_ACPI_CUSTOM_DSDT - builds the image into the kernel.

When to use this method is described in detail on the Linux/ACPI home page: https://01.org/linux-acpi/documentation/overriding-dsdt