My system has had several linux-images updated, but, the last one ("linux-
image-3.2.0-4-amd64 Linux 3.2 for 64-bit PCs) failed to install.
Has anyone else had a similar problem?
I haven't rebooted (intentionally, as I'm not sure what will happen).
What should I do?