update for kernel 3.3.0-3-ev3dev_0