support for ATmega32u4 processors using Timer 4