Index: ixp4xx/arch/arm/kernel/time.c
===================================================================
--- ixp4xx.orig/arch/arm/kernel/time.c
+++ ixp4xx/arch/arm/kernel/time.c
@@ -28,7 +28,6 @@
 #include <linux/profile.h>
 #include <linux/sysdev.h>
 #include <linux/timer.h>
-#include <linux/timeofday.h>
 
 #include <asm/leds.h>
 #include <asm/thread_info.h>