diff --git a/src/mainboard/amd/serengeti_cheetah/acpi_tables.c b/src/mainboard/amd/serengeti_cheetah/acpi_tables.c
index 802635c6d8..168793eb82 100644
--- a/src/mainboard/amd/serengeti_cheetah/acpi_tables.c
+++ b/src/mainboard/amd/serengeti_cheetah/acpi_tables.c
@@ -126,7 +126,7 @@ unsigned long mainboard_write_acpi_tables(unsigned long start, acpi_rsdp_t *rsdp
 {
 	unsigned long current;
 	acpi_header_t *ssdtx;
-	void *p;
+	const void *p;
 
 	int i;
 
diff --git a/src/mainboard/amd/serengeti_cheetah_fam10/acpi_tables.c b/src/mainboard/amd/serengeti_cheetah_fam10/acpi_tables.c
index cb91132886..51265bcc1a 100644
--- a/src/mainboard/amd/serengeti_cheetah_fam10/acpi_tables.c
+++ b/src/mainboard/amd/serengeti_cheetah_fam10/acpi_tables.c
@@ -135,7 +135,7 @@ unsigned long mainboard_write_acpi_tables(unsigned long current,
 					  acpi_rsdp_t *rsdp)
 {
 	acpi_header_t *ssdtx;
-	void *p;
+	const void *p;
 
 	int i;
 
diff --git a/src/mainboard/iwill/dk8_htx/acpi_tables.c b/src/mainboard/iwill/dk8_htx/acpi_tables.c
index 53e79b0ca1..e1c5c8039b 100644
--- a/src/mainboard/iwill/dk8_htx/acpi_tables.c
+++ b/src/mainboard/iwill/dk8_htx/acpi_tables.c
@@ -133,7 +133,7 @@ unsigned long mainboard_write_acpi_tables(unsigned long start, acpi_rsdp_t *rsdp
 {
 	unsigned long current;
 	acpi_header_t *ssdtx;
-	void *p;
+	const void *p;
 
 	int i;