Comment 16 for bug 1805668

Also, raspi3-firmware was intended for use with the generic kernel. The Debian generic kernel can be booted directly by the pi firmware (unlike Ubuntu's which needs the assistance of u-boot/grub2). Consequently the scripts expect different dtb names to those used by the linux-raspi2 kernel.