Thanks for the replies.
What I can't understand is how the 3.2 kernel got onto the 64bit machine.
I guess it's possible that I actually installed from a 12.04.1 iso by mistake, but then can't understand how the 3.5 kernel got onto the machine.
Here are the kernels I have installed.
Code:
abi-3.2.0-41-generic-pae initrd.img-3.5.0-28-generic
abi-3.2.0-43-generic-pae initrd.img-3.5.0-30-generic
abi-3.5.0-23-generic memtest86+.bin
abi-3.5.0-28-generic memtest86+_multiboot.bin
abi-3.5.0-30-generic System.map-3.2.0-41-generic-pae
config-3.2.0-41-generic-pae System.map-3.2.0-43-generic-pae
config-3.2.0-43-generic-pae System.map-3.5.0-23-generic
config-3.5.0-23-generic System.map-3.5.0-28-generic
config-3.5.0-28-generic System.map-3.5.0-30-generic
config-3.5.0-30-generic vmlinuz-3.2.0-41-generic-pae
grub vmlinuz-3.2.0-43-generic-pae
initrd.img-3.2.0-41-generic-pae vmlinuz-3.5.0-23-generic
initrd.img-3.2.0-43-generic-pae vmlinuz-3.5.0-28-generic
initrd.img-3.5.0-23-generic vmlinuz-3.5.0-30-generic
Sounds like I can safely remove the 3.2s and 3.5.0.23.
Bookmarks