I have to correct my last comment:
3.16.0-37.51 does boot.
I had to install the linux-image-extra package, too, which I didn't in the first try.
I have to correct my last comment:
3.16.0-37.51 does boot.
I had to install the linux-image-extra package, too, which I didn't in the first try.