Ticket #8043: acpi-copy-dsdt.patch

src/add-ons/kernel/bus_managers/acpi/acpi_busman.c

@@ -97 +97 @@
                     true, true);
                 acpiAvoidFullInit = get_driver_boolean_parameter(settings,
                     "acpi_avoid_full_init", false, false);
+                AcpiGbl_CopyDsdtLocally = get_driver_boolean_parameter(settings,
+                    "acpi_copy_dsdt", false, false);
                 unload_driver_settings(settings);
             }
 

data/settings/kernel/drivers/kernel

@@ -64 +64 @@
     # Avoids running _INI and _STA methods and final object initialization,
     # which may be used to for debugging ACPI issues, false by default
 
+#acpi_copy_dsdt true
+    # Makes a copy of the DSDT during boot, to work around BIOSes that
+    # corrupt it, false by default
+
 #disable_ioapic true
     # Disables IO-APIC support, enabled by default