fix for current kernels

latest commit de5d3e1337
@fishman authored