Update for kernel version 3.16.1-8-ev3dev