Re: kernel32/time: Implement GetSystemTimes using /proc/stat.