On Fri, 24 Feb 2017 10:52:39 +0100, Andreas Innerlohninger wrote: >Did you try to flash kernel and initrd again? (I think 'flash-kernel' without >arguments >should do it.)
I did, first with no arguments and then with --force 3.2.0-4-kirkwood (because that version of the kernel is still installed in /boot). In both cases, I got the same "File does not seem to match flash data" message.