85xx: get_tbclk() speed up and rounding fix