> Is someone could tell us the good way in debian to patch our kernel to > fix this issue?
There is some info in the debian wiki. Or you can wait: that commit is in kernel 4.19.1, the next LTS kernel, according to: <https://github.com/torvalds/linux/commit/485734f3fc77c1eb77ffe138c027b9a4bf0178f3> Should come out soon.
