Re: MIPS: override of get_tbclk()