Christian B 2e1e972bf5
Fix API change in kernel v4.15
In this kernel, the timer setup and handlers changed quite a bit.
2017-12-06 19:39:19 +01:00
..
2017-12-06 19:39:19 +01:00