[PATCH] kill __init_timer_base in favor of boot_tvec_bases