Support for using timer 4 on atmega32u4 processors