MIPS: override of get_tbclk()