Ensure that tbclk is read every time we call `generic_time_count()`

[AttwellBrian]

I noticed that there are circumstances where calling generic_timer_count() will result in the tbclk register not being reread. This is because of compiler optimizations. Using the volatile asm statement prevents this.