Access to RTC via i2c on Rpi4 Compute Module ioboard running Core 18

device
1

I’ve seen modification to the RPi OS kernel to enable the RTC on the RPi4 Compute Module ioboard here:
https://www.raspberrypi.org/forums/viewtopic.php?t=293632

Does anyone have any experience getting the RTC working using Core 18?