On the nRF52, does the TASKS_HFCLKSTART need to be trigger again after waking up from sleep, if the the HFXO was started before going to sleep? Or does the Clock control circuitry remember that the HFXO was used the last time an HF clock was requested, and starts up the HFXO automatically?