[MIPS] Fix EV64120 and Ocelot builds by providing a plat_timer_setup().