Re: [PATCH 1/2] ntdll: Fix KiUserExceptionDispatcher ABI on x86.