[MIPS] Replace board_timer_setup function pointer by plat_timer_setup.