[PATCH 1/3] ntdll: Separate NtGetTickCount from get_tick_count64.