F27 will not boot on the new Model 3+. Green LED blinks 4 times
(medium), then 4 times (fast), then repeats. The colored splash screen
Might this be just a device tree problem? Raspbian journal contains a line:
raspberrypi kernel: OF: fdt:Machine model: Raspberry Pi 3 Model B Plus Rev 1.3
Do we just need a bcm2710-rpi-3-b-plus.dtb file in Fedora's /boot
filesystem? Has anyone succeeded to boot Fedora on the 3+ Pi?