1Linux supports a method of overriding the BIOS DSDT:
23CONFIG_ACPI_CUSTOM_DSDT builds the image into the kernel.
45When to use this method is described in detail on the
6Linux/ACPI home page:
7http://www.lesswatts.org/projects/acpi/overridingDSDT.php