x86: Add support for kernel 4.19