diff --git a/src/acpi/acpi.c b/src/acpi/acpi.c
index 61e6c50fe2..53f8e0dfd3 100644
--- a/src/acpi/acpi.c
+++ b/src/acpi/acpi.c
@@ -1909,6 +1909,10 @@ unsigned long write_acpi_tables(const unsigned long start)
 		header->checksum = acpi_checksum((void *)header, header->length);
 		current += header->length;
 		current = acpi_align_current(current);
+
+		if (tables[i].create_table == acpi_create_dsdt)
+			continue;
+
 		printk(BIOS_DEBUG, "ACPI:    * %.4s\n", header->signature);
 		acpi_add_table(rsdp, header);
 	}