x86/tdx: Clarify RIP adjustments in #VE handler