Enabling a DS3231 RTC

Although I intend to migrate to CoreELEC soon, I’m currently running LibreELEC on my Odroid-C2. From what I understand, CoreELEC is based on LibreELEC.
I am unable to find how to configre the RTC on the C2. On a Raspberry Pi, it involves editing config.txt. Has anyone figured out how?

for a DS3231 check that thread. it seems that coreelec has the rtc module built in. You just need to edit the dtb.img