Index: nvidia/ck804/ck804_lpc.c
===================================================================
--- nvidia/ck804/ck804_lpc.c    (Revision 3254)
+++ nvidia/ck804/ck804_lpc.c    (Arbeitskopie)
@@ -168,7 +168,7 @@
         }

 }
-#if 0
+
 static void enable_hpet(struct device *dev)
 {
         unsigned long hpet_address;
@@ -177,7 +177,6 @@
         hpet_address=pci_read_config32(dev,0x44)& 0xfffffffe;
         printk_debug("enabling HPET @0x%x\n", hpet_address);
 }
-#endif

 static void lpc_init(device_t dev)
 {
@@ -259,7 +258,7 @@
        isa_dma_init();

         /* Initialize the High Precision Event Timers */
-//        enable_hpet(dev);
+        enable_hpet(dev);

        rom_dummy_write(dev);