Bug#905002: flash-kernel: please add Raspberry Pi Model B+ (note the plus)

[Johannes Keyser <johanneskeyser@posteo.de>]

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