[fedora-arm] F31 raspberry pi support

[moiraine damodred]

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!