kernel32-GetSystemTimes: Fix some issues in the patchset.