Bug#774526: linux-image-3.2.0-4-amd64: system crash with sudden rebo

[John Kennerson <nobody@isis.cpunk.us>]

The kernel from benh [1] works for me.

I am happy; thank you!
Julius

[1] https://people.debian.org/~benh/packages/linux-image-3.2.0-4-amd64_3.2.65-1+deb7u1~test_amd64.deb