diff --git a/data/settings/kernel/drivers/kernel b/data/settings/kernel/drivers/kernel
index 0c7fd48873..50a27f988d 100644
--- a/data/settings/kernel/drivers/kernel
+++ b/data/settings/kernel/drivers/kernel
@@ -64,6 +64,10 @@ load_symbols true
 	# 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
 
diff --git a/src/add-ons/kernel/bus_managers/acpi/acpi_busman.c b/src/add-ons/kernel/bus_managers/acpi/acpi_busman.c
index 8dc0361e51..71443ef26d 100644
--- a/src/add-ons/kernel/bus_managers/acpi/acpi_busman.c
+++ b/src/add-ons/kernel/bus_managers/acpi/acpi_busman.c
@@ -97,6 +97,8 @@ acpi_std_ops(int32 op,...)
 					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);
 			}