[PATCH v2 11/19] ntdll: Simplify call_raise_user_exception_dispatcher on x86_64.