[PATCH 3/3] timer: Don't initialize tvec_base on hotplug