In mbed_nano "nrfx_clock.h" is present but "nrfx_clock.c" is missing

Board: Nano 33 BLE (nRF52840)

Is there a reason "nrfx_clock.c" is missing from mbed_nano/3.2.0/cores/arduino/mbed/targets/TARGET_NORDIC/TARGET_NRF5x/TARGET_SDK_15_0/modules/nrfx/drivers/src

In fact all the src files which are typically found in nRF52 SDK modules/nrfx/drivers/src folder are missing.

Reason is that I am getting an error where a precompiled file is looking for "nrfx_clock_init", "nrfx_clock_enable", "nrfx_clock_hfclk_start" and "nrfx_clock_hfclk_stop" functions. These functions would be found in nrfx_clock.c.

Start with mbed_nano/3.2.0/cores/arduino/mbed/targets/TARGET_NORDIC/TARGET_NRF5x/TARGET_SDK_15_0/modules/nrfx/drivers/src and compare the present nrfx_clock.h with the missing nrfx_clock.c and other nrfx driver sources. Reproduce the Nano 33 BLE build error involving nrfx_clock_init, nrfx_clock_enable, nrfx_clock_hfclk_start, and nrfx_clock_hfclk_stop, then determine what source files are expected to provide those functions.

Written by the indexing model from the issue text.