Comment 23 for bug 883441

To #20
this bug affects me, but I don't know how to test the deb packages. Tried following: downloaded the packages, then right clicked on them in the file manager (first the headers, then the image) and chosen "Open with Ubuntu Software center". When the Ubuntu Software center opened showing the package, clicked on "install". Received no feedback about the progress of the operation and whether it was completed or not. Waited until no processes containing "dpkg" in their names were running any more. Then, during reboot, no new kernel appears in the Grub boot menu. What now?