im trying to use nrf_drv_timer_t with timer0 but I get identifier "TIMER0_INSTANCE_INDEX" is undefined error. TIMER0_INSTANCE_INDEX is defined in nrf_drv_config but this file contain #if (TIMER0_ENABLED == 1) . shoudl I explicitly declare TIMER0_ENABLED == 1 and where