--- /dev/null
+--- vpb-driver-4.2.55/src/vpb/vpb.c.orig 2012-05-09 13:57:34.000000000 +0200
++++ vpb-driver-4.2.55/src/vpb/vpb.c 2013-01-29 18:43:08.571270294 +0100
+@@ -117,7 +117,6 @@
+ #include <linux/module.h>
+ #include <linux/kernel.h>
+ #include <asm/io.h>
+-#include <asm/system.h>
+ #include <linux/vmalloc.h>
+ #include <linux/pci.h>
+ #include <linux/delay.h>