Re: [PATCH 1/1] ntdll: Fix KiUserCallbackDispatcher on arm