Symbol: insn_decode_kernel