[PATCH 1/1] ntdll: Respect red zone in usr1_handler() on x64.