I can confirm that the machine in question also had Windows 7 on it, so the RTC was most likely running local time. I can imagine that many Linux enthusiasts run their hardware with Linux only, so the RTC might be in UTC in many cases.