[PATCH 2/3] kernel32: Separate GetTickCount from get_tick_count64.