[fedora-arm] Not finding RTC with a different spin?

I have a Raspberry Pi 4B running Fedora 38 (server edition) that I use
as a little occasional server for random things. Since it doesn't
always have NTP available, I added an RTC module, and added
"dtoverlay=i2c-rtc,ds1307" to /boot/efi/config.txt (no other change);
all is good.

Now I have a short-term need to use it as a desktop, so I put the XFCE
spin on a different uSD card. I made the same edit to config.txt... and
it doesn't work. No RTC.

I've loaded all the Fedora updates, including the firmware with
"rpi-uboot-update", but it still doesn't work. If I swap back to the
"server" uSD card, it sees the RTC.

The only difference I can see is that the original card is 32G and the
new card is 64G (so "SDXC")... would that be an issue to the firmware
loader?
--
Chris Adams <linux@cmadams.net>
_______________________________________________
arm mailing list -- arm@lists.fedoraproject.org
To unsubscribe send an email to arm-leave@lists.fedoraproject.org
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/arm@lists.fedoraproject.org
Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue