Interesting power saving in Linux kernel. “Tickless” timing can lead to longer CPU idle time.