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