J'ai déjà vu cette page mais:
We do not (as of 30th October 2019) support the Raspberry Pi 4 in any Fedora release.
Les choses n'ont-elles pas évolué avec la sortie de Fedora 32 ?
D'après ce que j'ai trouvé ailleurs les kernels vanilla récent supportent le Raspberry 4.