[Bug 732769] Explain and enforce why to use UTC in CMOS/BIOS (Was bug #730374: Hardware Clock does not get synchronized)