vpb-driver-kernel.patch

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