Thank you for supporting the raspberrypi. Fedora must be one of the first distributions
to support it with only upstream sources. I tried the workstation image and it did not
work for me. I was using my old VGA monitor hooked up through a hdmi converter. There
was nothing on the monitor. I tried my hdmi monitor and there was some stuff there, but
the image never booted for me. Then I tried the Mate image and it booted! I did a dnf
update and updated 330 packages. When I rebooted I noticed that is was using the rescue
kernel and initrd, where were listed first. I tried to change the "default="
line and nothing changed. I did a little internet research and found extlinux.conf
examples without the "=" sign so I tried that and it booted the normal 4.8.3
kernel and initrd. I do not think the "=" should be there.