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