Fix build for recent kernels

Signed-off-by: Alexandre Belloni <alexandre.belloni@free-electrons.com>