Added support for hires 33MHz timer on Timer3