Essentially, the incorrect clock setting happens because OS X and Linux use GMT time while Windows tries to synchronize with your local time zone, getting confused when you reboot between the two.

Readjusting the clock fixes the problem for his current session, but every time he reboots, the clock automatically readjusts itself based on the time zone setting.