I am working with the nRF52840 DK and was looking for ways to use an alternative clock source for the PDM interface's master clock generator. For instance, would it be possible to use one of the 16MHz timers as opposed to whatever HFCLK is set to? I ask this because I am interested in syncing the PDM clocks of multiple nRF52840s and have begun implementing wireless timer synchronization which makes use of timers to synchronize a GPIO pin toggling. Alternatively, would it be possible to synchronize the 32MHz peripheral clock and use that as a clock source for the PDM interface? The goal is to have 2 wireless microphone streams and have them start at the same time, as well as to prevent the PDM clocks used for these streams from drifting apart.