Re: [PATCH] ntdll: Make NtGetTickCount patchable