x86/sev-es: Convert to insn_decode()