pib on linux-3.10.33

gistfile1.txt

make -C /path/to/build-iso/pkgs/linux-image/debian/build/build-amd64-none-amd64-vyos M=`pwd`  modules
make: Entering directory `/path/to/build-iso/pkgs/linux-image/debian/build/build-amd64-none-amd64-vyos'
  CC [M]  /path/to/pib/driver/pib_main.o
  CC [M]  /path/to/pib/driver/pib_dma.o
  CC [M]  /path/to/pib/driver/pib_lib.o
  CC [M]  /path/to/pib/driver/pib_ucontext.o
  CC [M]  /path/to/pib/driver/pib_pd.o
  CC [M]  /path/to/pib/driver/pib_qp.o
  CC [M]  /path/to/pib/driver/pib_multicast.o
  CC [M]  /path/to/pib/driver/pib_cq.o
  CC [M]  /path/to/pib/driver/pib_srq.o
  CC [M]  /path/to/pib/driver/pib_ah.o
  CC [M]  /path/to/pib/driver/pib_mr.o
  CC [M]  /path/to/pib/driver/pib_mad.o
  CC [M]  /path/to/pib/driver/pib_mad_pma.o
  CC [M]  /path/to/pib/driver/pib_easy_sw.o
  CC [M]  /path/to/pib/driver/pib_thread.o
  CC [M]  /path/to/pib/driver/pib_ud.o
  CC [M]  /path/to/pib/driver/pib_rc.o
  CC [M]  /path/to/pib/driver/pib_debugfs.o
  LD [M]  /path/to/pib/driver/pib.o
  Building modules, stage 2.
  MODPOST 1 modules
  CC      /path/to/pib/driver/pib.mod.o
  LD [M]  /path/to/pib/driver/pib.ko
make: Leaving directory `/path/to/build-iso/pkgs/linux-image/debian/build/build-amd64-none-amd64-vyos'