Comment 58 for bug 1245938

Hi Fernando,

i think wer the only guys on the debian/ubuntu world with this problem :-)
i got same problem first time. i firstly installed all packages on my server with dpkg -i *.deb and ran in the same problem that my kernel wasnt able to boot. (there wasnt an option to start with 3.13 kernel)

try to remove the x86/64 headers/images files again and try to install only the kernel files that match 4u.
Hope this will helps.
Thomas