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 is displayed. 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?