9a9e0d685553
d89e9d6b4930
aaf3d29fe8c8
1
2 3 4
5
6
7
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