Comment 131 for bug 614238

On Wed, Nov 02, 2011 at 01:03:15PM -0000, Martin Fisher wrote:
> Based on the comments here it seems likely that this will solve the
> problem for me on my Dell Vostro 3300 laptop. However, I am not familar
> with what exactly I need to do. I am guessing that from Seth's link I
> need to down the appropriate header and image deb (in my case it would
> be the 64 bit). I guess I run the deb files but what do I then have to
> do? I anybody could kindly tell me what commands I need to run to be
> able to use this kernel I would be exceedingly grateful. Thanks!

Yes, download the *_amd64.deb files as well as the *_all.deb file. You
need to install all three. Double-clicking them ought to open the
package manager GUI, or you can install them from a terminal by
navigating to the directory where you downloaded the files and running:

  sudo dmesg -i *lp614238v201110271600*.deb

After you've installed the packages you need to reboot to start using
the new kernel.