update for kernel 3.16.1-4-ev3dev