I followed the linked tutorial, implementing STOP2 with a tickless idle, toggling a GPIO pin and calling osDelay in the main task repeatedly. The processor remains awake for 15ms with a core clock of 64MHz, and increasing the core clock somehow incre...