Bug#872601: flash-kernel: Patch for Raspberry Pi 2 support
Control: found -1 3.35
Control: notfound -1 3.79
Control: close -1
Forgot to add a version number to this report.
While trying to apply this patch to the latest version, I discovered
that there already is a RPi entry in version 3.79, and the reason this
did not work for me was that the wrong kernel (the one from the
collabora repo) was installed and not recognized.
I thus suspect this issue is a bit besides what can and should be fixed
in a Debian package, and flag it as not found in version 3.79.