Hi,
following the install procedure for Mac I tried to install the new version 3.9.4. Whithout anychanges, the Pi did not boot up at all signaling a
missing kernel - green LED will blink 7 times.
After editing the config.txt file and including a section for Pi3 (see below) I was able to at least start the boot process but ending in a kernel panic.
Wondering if anyone has ever tested this out.

Regards Gunhawk

disable_splash=1
boot_delay=0
gpu_mem=256
gpu_mem_256=64
[pi3]
kernel=boot/vmlinuz-rpi2
Initramfs boot/initramfs-rpi2
[pi0]
kernel=boot/vmlinuz-rpi
initramfs boot/initramfs-rpi
[pi1]
kernel=boot/vmlinuz-rpi
initramfs boot/initramfs-rpi
[all]

include usercfg.txt

(from redmine: issue id 10443, created on 2019-05-10)