found 689420 linux-image-3.2.0-4-amd64/3.2.57-3+deb7u1 notfound 689420 linux-image-amd64/3.9+49 stop# Booting still sometimes fails with the current 3.2.57. In the past few months, 3.9 always succeeded. # For security reasons, I'm starting to be worried about using an old kernel 3.9+49 which apparently does not have this bug.