Re: [PATCH 0/3] MR4290: ntdll: A bit of KiUserExceptionDispatcher redesign.