clock: Raise clock speed for BLE to work while sleeping

epicardium/main.c

@@ -98,6 +98,11 @@ int main(void)
 	disp_ctx_reinit();
 #endif
 
+	epic_gpio_set_pin_mode(EPIC_GPIO_WRISTBAND_1, EPIC_GPIO_MODE_OUT);
+	epic_gpio_set_pin_mode(EPIC_GPIO_WRISTBAND_2, EPIC_GPIO_MODE_OUT);
+	epic_gpio_set_pin_mode(EPIC_GPIO_WRISTBAND_3, EPIC_GPIO_MODE_OUT);
+	epic_gpio_set_pin_mode(EPIC_GPIO_WRISTBAND_4, EPIC_GPIO_MODE_OUT);
+
 	epic_leds_clear_all(0, 0, 0);
 
 	LOG_DEBUG("startup", "Initializing tasks ...");

epicardium/support.c

@@ -61,7 +61,6 @@ void pre_idle_sleep(TickType_t xExpectedIdleTime)
 			if (usb_get_status() & MAXUSB_STATUS_VBUS_ON) {
 				SYS_Clock_Select(SYS_CLOCK_HIRC, NULL);
 			} else {
-				MXC_GCR->clkcn |= MXC_S_GCR_CLKCN_PSC_DIV4;
 				SYS_Clock_Select(SYS_CLOCK_HIRC, NULL);
 				SYS_ClockSourceDisable(SYS_CLOCK_HIRC96);
 			}
@@ -69,7 +68,6 @@ void pre_idle_sleep(TickType_t xExpectedIdleTime)
 			__asm volatile("dsb" ::: "memory");
 			__asm volatile("wfe");
 			__asm volatile("isb");
-			MXC_GCR->clkcn &= ~(MXC_S_GCR_CLKCN_PSC_DIV4);
 			SYS_Clock_Select(SYS_CLOCK_HIRC96, NULL);
 			disp_update_backlight_clock();
 			SYS_ClockSourceDisable(SYS_CLOCK_HIRC);