Disable HPET support temporarily

Still too broken with no-idle-tick
But add new hpet option to enable it again.

Signed-off-by: Andi Kleen <ak@suse.de>

Index: linux/arch/x86_64/kernel/time.c
===================================================================
--- linux.orig/arch/x86_64/kernel/time.c
+++ linux/arch/x86_64/kernel/time.c
@@ -55,7 +55,7 @@ extern void i8254_timer_resume(void);
 DEFINE_SPINLOCK(rtc_lock);
 DEFINE_SPINLOCK(i8253_lock);
 
-static int nohpet __initdata = 0;
+static int nohpet __initdata = 1;
 static int notsc __initdata = 0;
 
 #undef HPET_HACK_ENABLE_DANGEROUS
@@ -1662,6 +1662,15 @@ static int __init nohpet_setup(char *s) 
 
 __setup("nohpet", nohpet_setup);
 
+static int __init hpet_setup(char *s) 
+{ 
+	nohpet = 1;
+	return 0;
+} 
+
+__setup("hpet", hpet_setup);
+
+
 
 static int __init notsc_setup(char *s)
 {