Use TMR3 instead of TMR5 for interrupts from epicardium

Any reason to use TMR5 except preventing the use of PWM on the IR LED?

TMR4 is used for the LCD backlight it seems.
2 jobs for !322 with tvbgone-fixes in 3 minutes and 2 seconds (queued for 7 seconds)
detached
Status Name Job ID Coverage
  Build
passed build #9063

00:02:26

 
  Test
failed lint #9064

00:00:36

 
Name Stage Failure
failed
lint Test
 	{ MP_ROM_QSTR(MP_QSTR_WRISTBAND_4),
MP_OBJ_NEW_SMALL_INT(EPIC_GPIO_WRISTBAND_4) },
- { MP_ROM_QSTR(MP_QSTR_IR_LED),
- MP_OBJ_NEW_SMALL_INT(EPIC_GPIO_IR_LED) },
+ { MP_ROM_QSTR(MP_QSTR_IR_LED), MP_OBJ_NEW_SMALL_INT(EPIC_GPIO_IR_LED) },
{ MP_ROM_QSTR(MP_QSTR_mode), MP_ROM_PTR(&gpio_module_modes) },
};
static MP_DEFINE_CONST_DICT(gpio_module_globals, gpio_module_globals_table);
ERROR: Job failed: exit code 1