kernel tick time and other fun stuff