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