what is the purpose of timer_init() in board_init_r function in common/spl/spl.c?