Re: [PATCH 10/12] win32u: Move user lock from user32.