--- linux.org/arch/x86_64/kernel/time.c	2004-10-11 09:17:15.613107488 -0700
+++ linux/arch/x86_64/kernel/time.c	2004-10-11 09:14:05.983935504 -0700
@@ -727,6 +727,7 @@ static unsigned int __init pit_calibrate
 	return (end - start) / 50;
 }
 
+#ifdef	CONFIG_HPET
 static __init int late_hpet_init(void)
 {
 	struct hpet_data	hd;
@@ -773,6 +774,7 @@ static __init int late_hpet_init(void)
 	return 0;
 }
 fs_initcall(late_hpet_init);
+#endif
 
 static int hpet_init(void)
 {