Is raspberry pi 4 support ready with Fedora 31? I see the dtd file (bcm2711-rpi-4-b.dtb) ,
the line "kernel=rpi4-u-boot.bin" is present in config.txt but the actural file
(rpi4-u-boot.bin) missing in Fedora-Minimal-31_Beta-1.1.aarch64.raw.xz; rpi 4 will not
boot and the led flashes 7 times, which may mean kernel missing?
Thanks!