07a5d4bcbf8e ("x86/insn: Directly assign x86_64 state in insn_init()")