20140105_16:10:50 How do you power off this machine?  Linus, when upgrading linux.cs.helsinki.fi, and after using the machine for several months