diff --git a/src/arch/x86/acpi_device.c b/src/arch/x86/acpi_device.c
index bef1a5db73..9f63200121 100644
--- a/src/arch/x86/acpi_device.c
+++ b/src/arch/x86/acpi_device.c
@@ -527,7 +527,7 @@ void acpi_device_write_spi(const struct acpi_spi *spi)
 /* PowerResource() with Enable and/or Reset control */
 void acpi_device_add_power_res(const struct acpi_power_res_params *params)
 {
-	static const char *power_res_dev_states[] = { "_PR0", "_PR3" };
+	static const char * const power_res_dev_states[] = { "_PR0", "_PR3" };
 	unsigned int reset_gpio = params->reset_gpio ? params->reset_gpio->pins[0] : 0;
 	unsigned int enable_gpio = params->enable_gpio ? params->enable_gpio->pins[0] : 0;
 	unsigned int stop_gpio = params->stop_gpio ? params->stop_gpio->pins[0] : 0;
diff --git a/src/arch/x86/acpigen.c b/src/arch/x86/acpigen.c
index 34de2bab18..dfc2a5adf4 100644
--- a/src/arch/x86/acpigen.c
+++ b/src/arch/x86/acpigen.c
@@ -1147,7 +1147,7 @@ void acpigen_write_uuid(const char *uuid)
  * PowerResource (name, level, order)
  */
 void acpigen_write_power_res(const char *name, uint8_t level, uint16_t order,
-			     const char *dev_states[], size_t dev_states_count)
+			     const char * const dev_states[], size_t dev_states_count)
 {
 	size_t i;
 	for (i = 0; i < dev_states_count; i++) {
diff --git a/src/arch/x86/include/arch/acpigen.h b/src/arch/x86/include/arch/acpigen.h
index 3339ce4d92..a3c4777afb 100644
--- a/src/arch/x86/include/arch/acpigen.h
+++ b/src/arch/x86/include/arch/acpigen.h
@@ -347,7 +347,7 @@ void acpigen_write_mainboard_resources(const char *scope, const char *name);
 void acpigen_write_irq(u16 mask);
 void acpigen_write_uuid(const char *uuid);
 void acpigen_write_power_res(const char *name, uint8_t level, uint16_t order,
-			     const char *dev_states[], size_t dev_states_count);
+			     const char * const dev_states[], size_t dev_states_count);
 void acpigen_write_sleep(uint64_t sleep_ms);
 void acpigen_write_store(void);
 void acpigen_write_store_ops(uint8_t src, uint8_t dst);