What is the safe way to alter TARGET_MCU_NRF52840/config/sdk_config.h for NFC

[Gerriko]

I am trying to implement NFC on the Arduino Nano 33 BLE board using Nordic SDK 15.x as guidance.
If one looks at the examples provided within any of the Nordic SDK's they all provide an sdk_config.h file which is application or example specific. This is not the case with the Arduino implementation.
So the question is, how does one apply the necessary settings within the sdk_config file which are required for NFC.
For example timer4 is required. This is disabled in the Nano 33 BLE sdk_config file.
Then there are NFCT peripheral driver settings, which are not included in the Nano 33 BLE sdk_config file.
There are also a few other subtle differences. E.g. in Nano 33 BLE sdk_config the nrf_drv_clock - CLOCK peripheral driver - legacy layer is defined as CLOCK_ENABLED while in the standard sdk_config file it is defined as NRF_CLOCK_ENABLED.

Any guidance on this matter is greatly appreciated.

Thanks