Seems fine now.
Looking in Ubuntu Software Center I see updates:
20 October 2012 -> 27 April 2012 linux-generic 3.2.0.32.35 -> 3.2.0.40.48 linux-headers-generic 3.2.0.32.35 -> 3.2.0.40.48 linux-image-generic 3.2.0.32.35 -> 3.2.0.40.48 linux-firmware 1.79.1 -> 1.79.4 linux-libc-dev 3.2.0-32.51 -> 3.2.0-40.64
Seems fine now.
Looking in Ubuntu Software Center I see
updates:
20 October 2012 -> 27 April 2012 generic 3.2.0.32.35 -> 3.2.0.40.48
linux-generic 3.2.0.32.35 -> 3.2.0.40.48
linux-headers-
linux-image-generic 3.2.0.32.35 -> 3.2.0.40.48
linux-firmware 1.79.1 -> 1.79.4
linux-libc-dev 3.2.0-32.51 -> 3.2.0-40.64