Actually enable HPET

Signed-off-by: Stefan Reinauer <stepan@coresystems.de>
Acked-by: Stefan Reinauer <stepan@coresystems.de>



git-svn-id: svn://svn.coreboot.org/coreboot/trunk@5249 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1

src/southbridge/intel/i82801dx/i82801dx_lpc.c

@@ -193,7 +193,8 @@ static void enable_hpet(struct device *dev)
 	 */
 	reg32 &= ~(3 << 15);	/* Clear it */
 	reg32 |= (code << 15);
-	/* TODO: reg32 is never written to anywhere? */
+	pci_write_config32(dev, GEN_CNTL, reg32);
+
 	printk_debug("Enabling HPET @0x%x\n", HPET_ADDR | (code << 12));
 }