Bug#808973: system freeze after kernel security update

[tmueller890]

kernel 3.2.73-2+deb7u2 solves the issue for me too. Thanks for the fast 
response.