A bug has been filed with the kernel developers here: https://bugzilla.kernel.org/show_bug.cgi?id=199033
Also, I have confirmed that disabling CONFIG_WDAT_WDT and re-compiling the kernel, as Alexandre suggested, does allow the RTC to run properly.
A bug has been filed with the kernel developers here: https:/ /bugzilla. kernel. org/show_ bug.cgi? id=199033
Also, I have confirmed that disabling CONFIG_WDAT_WDT and re-compiling the kernel, as Alexandre suggested, does allow the RTC to run properly.