I've physically swapped Fedora ARM SD cards between RPi3 and RPi4 devices in my Pi cluster without any problems.
Are you certain your RPi4 4GB device has sufficient power? I've seen Pi devices with different USB peripherals not boot reliably if I don't have a good 5V 3A power supply connected to it.
arm mailing list -- firstname.lastname@example.org
To unsubscribe send an email to email@example.com
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://firstname.lastname@example.org
Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure