[X86] Kernel 4.13 issues