Comment 1 for bug 751782

Sorry - I forgot to mention that I was using Ubuntu standard naming conventions for the kernel. I obtained vmlinuz-2.6.32-30-generic-pae by installing the package linux-image-generic-pae I did not customize the file names, so it is likely that other kernels in the Ubuntu repository will exhibit this situation.