MX35: add missing get_ticks() and get_tbclk()