Added timer functions to bootstrap.inc