[PATCH kernel-4.19 211/286] Intel: x86/insn-eval: Add support for 64-bit kernel mode