Hans, I was able to play around with gmtime() in MacOS while varying  
the locale. The hardware clock is definitely running on GMT.