[PATCH] timer: use variable 'head' instead of '&work_list' in __run_timers()