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 1 minute (queued for 5 seconds)
latest detached
Status Job ID Name Coverage
  Build
passed #7699
build

00:00:42

 
  Test
failed #7700
lint

00:00:17

 
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