Package: flash-kernel Severity: normal Dear Maintainer(s),
please add Raspberry Pi model 3+ to the database (note the plus), see https://www.raspberrypi.org/products/raspberry-pi-3-model-b-plus/. When trying to boot my FreedomBox image (a Debian pure blend), I'm receiving this error currently: "File not found /dtbs/4.17.0-1-armmp/bcm2837-rpi-3-b-plus.dtb". For a more detailed log, you can look at https://salsa.debian.org/freedombox-team/freedom-maker/issues/139. Thanks a lot in advance, Johannes