diff --git a/device/root_device.c b/device/root_device.c
index 4086e37201..98967323ce 100644
--- a/device/root_device.c
+++ b/device/root_device.c
@@ -216,7 +216,7 @@ void root_dev_reset(struct bus *bus)
  * own ops in (e.g.) the mainboard, and initialize it in the dts in the
  * mainboard directory. 
  */
-const struct device_operations default_dev_ops_root = {
+struct device_operations default_dev_ops_root = {
 	.phase4_read_resources   = root_dev_read_resources,
 	.phase4_set_resources    = root_dev_set_resources,
 	.phase5_enable_resources = root_dev_enable_resources,
diff --git a/include/device/device.h b/include/device/device.h
index d556401a10..367a205d4c 100644
--- a/include/device/device.h
+++ b/include/device/device.h
@@ -283,7 +283,7 @@ void default_device_constructor(struct device *dev, struct device_operations *co
 resource_t align_up(resource_t val, unsigned long gran);
 resource_t align_down(resource_t val, unsigned long gran);
 
-extern const struct device_operations default_dev_ops_root;
+extern struct device_operations default_dev_ops_root;
 
 extern int id_eq(struct device_id *id1, struct device_id *id2);
 void root_dev_read_resources(struct device * dev);