Index: gator-module-5.7/gator_main.c
===================================================================
--- gator-module-5.7.orig/gator_main.c	2011-11-16 13:03:30.534186000 +0000
+++ gator-module-5.7/gator_main.c	2011-11-16 13:04:30.407019000 +0000
@@ -68,7 +68,11 @@
 #define MESSAGE_SCHEDULER_TRACE		9
 #define MESSAGE_PID_NAME			11
 
+#if 0 /* EBS disabled because of changes in Linaro 3.1 kernel */
 #define LINUX_PMU_SUPPORT LINUX_VERSION_CODE >= KERNEL_VERSION(2, 6, 35) && defined(CONFIG_CPU_HAS_PMU)
+#else
+#define LINUX_PMU_SUPPORT 0
+#endif
 
 #if defined(__arm__)
 #define PC_REG regs->ARM_pc