diff --git a/src/mainboard/hp/pavilion_m6_1035dx/acpi_tables.c b/src/mainboard/hp/pavilion_m6_1035dx/acpi_tables.c
index 63221ef981..1538571b8a 100644
--- a/src/mainboard/hp/pavilion_m6_1035dx/acpi_tables.c
+++ b/src/mainboard/hp/pavilion_m6_1035dx/acpi_tables.c
@@ -28,8 +28,6 @@
 #include <device/pci_ids.h>
 #include <string.h>
 
-#include <lib.h> /* used for hexdump for CONFIG_DEBUG_ACPI */
-
 extern const unsigned char AmlCode[];
 
 unsigned long acpi_fill_mcfg(unsigned long current)
@@ -279,32 +277,6 @@ unsigned long write_acpi_tables(unsigned long start)
 	current += ssdt->length;
 	acpi_add_table(rsdp, ssdt);
 
-#if defined(CONFIG_DEBUG_ACPI)
-	printk(BIOS_DEBUG, "rsdp\n");
-	hexdump(rsdp, sizeof(acpi_rsdp_t));
-
-	printk(BIOS_DEBUG, "rsdt\n");
-	hexdump(rsdt, sizeof(acpi_rsdt_t));
-
-	printk(BIOS_DEBUG, "madt\n");
-	hexdump(madt, madt->header.length);
-
-	printk(BIOS_DEBUG, "srat\n");
-	hexdump(srat, srat->header.length);
-
-	printk(BIOS_DEBUG, "slit\n");
-	hexdump(slit, slit->header.length);
-
-	printk(BIOS_DEBUG, "ssdt\n");
-	hexdump(ssdt, ssdt->length);
-
-	printk(BIOS_DEBUG, "fadt\n");
-	hexdump(fadt, fadt->header.length);
-
-	printk(BIOS_DEBUG, "hest\n");
-	hexdump(hest, hest->header.length);
-#endif /* CONFIG_DEBUG_ACPI */
-
 	printk(BIOS_INFO, "ACPI: done.\n");
 	return current;
 }