util: Timer running is now instead decided by id 43a6d6f
util: Timer running is now instead decided by id 43a6d6f

AndreasAakesson/IncludeOS,mnordsletten/IncludeOS,hioa-cs/IncludeOS,ingve/IncludeOS,AndreasAakesson/IncludeOS,alfred-bratterud/IncludeOS,AndreasAakesson/IncludeOS,alfred-bratterud/IncludeOS,ingve/IncludeOS,ingve/IncludeOS,AnnikaH/IncludeOS,AndreasAakesson/IncludeOS,mnordsletten/IncludeOS,AnnikaH/IncludeOS,alfred-bratterud/IncludeOS,AnnikaH/IncludeOS,mnordsletten/IncludeOS,AndreasAakesson/IncludeOS,mnordsletten/IncludeOS,ingve/IncludeOS,mnordsletten/IncludeOS,hioa-cs/IncludeOS,alfred-bratterud/IncludeOS,hioa-cs/IncludeOS,hioa-cs/IncludeOS,alfred-bratterud/IncludeOS,mnordsletten/IncludeOS,AndreasAakesson/IncludeOS,hioa-cs/IncludeOS,AnnikaH/IncludeOS,ingve/IncludeOS,AnnikaH/IncludeOS