--- src/wl/sys/wl_linux.c.old	2013-05-02 14:51:07.000000000 +0200
+++ src/wl/sys/wl_linux.c	2013-05-02 14:51:14.000000000 +0200
@@ -40,7 +40,9 @@
 #include <linux/pci_ids.h>
 #define WLC_MAXBSSCFG		1	
 
+#if LINUX_VERSION_CODE < KERNEL_VERSION(3, 4, 0)
 #include <asm/system.h>
+#endif
 #include <asm/io.h>
 #include <asm/irq.h>
 #include <asm/pgtable.h>