diff -ur ./drivers/dahdi/wcb4xxp/base.c /usr/src/dahdi-2.5.0.1+dfsg-1ubuntu2/drivers/dahdi/wcb4xxp/base.c
--- ./drivers/dahdi/wcb4xxp/base.c      2011-07-22 13:56:07.000000000 -0400
+++ /usr/src/dahdi-2.5.0.1+dfsg-1ubuntu2/drivers/dahdi/wcb4xxp/base.c   2013-05-31 14:03:30.000000000 -0400
@@ -35,7 +35,7 @@
 #include <linux/spinlock.h>
 #include <linux/device.h>      /* dev_err() */
 #include <linux/interrupt.h>
-#include <asm/system.h>                /* cli(), *_flags */
+// #include <asm/system.h>             /* cli(), *_flags */
 #include <asm/uaccess.h>       /* copy_*_user */
 #include <linux/workqueue.h>   /* work_struct */
 #include <linux/timer.h>       /* timer_struct */
diff -ur ./include/dahdi/kernel.h /usr/src/dahdi-2.5.0.1+dfsg-1ubuntu2/include/dahdi/kernel.h
--- ./include/dahdi/kernel.h    2011-08-11 15:56:22.000000000 -0400
+++ /usr/src/dahdi-2.5.0.1+dfsg-1ubuntu2/include/dahdi/kernel.h 2013-05-31 10:51:47.000000000 -0400
@@ -33,6 +33,13 @@
 #ifndef _DAHDI_KERNEL_H
 #define _DAHDI_KERNEL_H

+#ifndef __devinit
+#  define __devinit
+#  define __devinitdata
+#  define __devexit
+#  define __devexit_p(x) x
+#endif
+
 #include <dahdi/user.h>
 #include <dahdi/fasthdlc.h>