diff -urN xx/xen/arch/x86/hpet.c xen-4.0.1/xen/arch/x86/hpet.c
--- xx/xen/arch/x86/hpet.c	2010-08-25 12:22:11.000000000 +0200
+++ xen-4.0.1/xen/arch/x86/hpet.c	2010-08-30 18:13:34.000000000 +0200
@@ -405,7 +405,7 @@
         /* Only consider HPET timer with MSI support */
         if ( !(cfg & HPET_TN_FSB_CAP) )
             continue;
-
+if (1) continue;
         ch->flags = 0;
         ch->idx = i;
 
@@ -703,8 +703,9 @@
 
 int hpet_broadcast_is_available(void)
 {
-    return (legacy_hpet_event.event_handler == handle_hpet_broadcast
-            || num_hpets_used > 0);
+    /*return (legacy_hpet_event.event_handler == handle_hpet_broadcast
+            || num_hpets_used > 0);*/
+    return 0;
 }
 
 int hpet_legacy_irq_tick(void)