--- linux-3.8-rc0.orig/drivers/rtc/rtc-imxdi.c	2012-12-16 21:23:57.415274494 +0100
+++ linux-3.8-rc0/drivers/rtc/rtc-imxdi.c	2012-12-16 21:50:48.324778700 +0100
@@ -36,6 +36,7 @@
 #include <linux/platform_device.h>
 #include <linux/rtc.h>
 #include <linux/sched.h>
+#include <linux/spinlock.h>
 #include <linux/workqueue.h>
 
 /* DryIce Register Definitions */