Pretty much all timer counters are now 32-bit again;

Fixed FDI stream parameters passed to the 86F handler, FDI stream images now read correctly again;
The National Semiconductors PC87306 SuperI/O chip now supports enhanced FDC mode.

src/model.c

@@ -488,7 +488,7 @@ void at_advanced_common_init()
         pci_init(PCI_CONFIG_TYPE_1, 0xd, 0x10);
         i430fx_init();
         piix_init(7);
-        pc87306_init();
+        // pc87306_init();
         intel_endeavor_init();
 	if (cdrom_channel >= 4)  ide_ter_init();
 }