I am sorry but I have misled you all about my problem. It is not Ubuntu 12.10 that has the problem but Ubuntu 13.04 which is installed on a different hard drive. I was being harassed when I was writing the previous post and had already answered a question to someone who had asked what was installed on my computer and I told them that it was Ubuntu 12.10 and it seems that that is the reason that I put in my post that I was using Ubuntu 12.10.
In answer to your question 273, there are no kernels, apart from Linux-3.8.0-11-generic (which is not on the machine), listed in the GRUB menu, but if I change the 11 to 16 in the GRUB menu it boots with linux-3.8.0-16. The problem is how to make it do that every time without having to edit the GRUB menu and why it is looking for 3.8.9-11.
When I run 'update-grub' linux-3.8.0-16 appears first of all as one of the kernels followed by linux-3.8.0-14 and linux-3.8.0-15.