--- 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>