[tip: x86/urgent] x86/sev-es: Introduce ip_within_syscall_gap() helper