Temporarily disabled the second PIT on the PIIX and SIO to gain some performance back.

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;
 }

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;
 }