careful with the last two 'stable' 4.14/4.16 kernels: bugzilla.kernel.org/show_bug… . workaround: enable CONFIG_HMM_MIRROR for now.