diff --git a/src/chipset/intel_piix.c b/src/chipset/intel_piix.c
index 04740ad33..6dc76615b 100644
--- a/src/chipset/intel_piix.c
+++ b/src/chipset/intel_piix.c
@@ -1377,7 +1377,7 @@ static void
     else
 	dev->board_config[1] |= 0x00;
 
-    device_add(&i8254_sec_device);
+    // device_add(&i8254_sec_device);
 
     return dev;
 }
diff --git a/src/chipset/intel_sio.c b/src/chipset/intel_sio.c
index 91f9128a0..33b8a44ba 100644
--- a/src/chipset/intel_sio.c
+++ b/src/chipset/intel_sio.c
@@ -539,7 +539,7 @@ sio_init(const device_t *info)
 
     timer_add(&dev->timer, NULL, NULL, 0);
 
-    device_add(&i8254_sec_device);
+    // device_add(&i8254_sec_device);
 
     return dev;
 }