[PATCH] timers: Remove get_timer_this_cpu_base()