x86/insn-eval: Add support for 64-bit kernel mode