Comment 20 for bug 1848790

I also had to add the new revision "Raspberry Pi 4 Model B Rev 1.2" to /usr/share/flash-kernel/db/all.db in order to make flash-kernel work, but that is probably a different "bug".