kernel release 3.14.17-1-ev3dev_1