Ubuntu
linux package

  1. Bug #1529381
  2. Comment #38

Comment 38 for bug 1529381

Revision history for this message
Colin Ian King (colin-king) wrote :

I've uploaded some 3.19 kernels (i386, 32 bit), (amd64, 64 bit) to:

http://kernel.ubuntu.com/~cking/lp-1529381/

First, edit /etc/default/grub and change the line:

GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"

and add "acpi_force_32bit_fadt_addr", e.g.

GRUB_CMDLINE_LINUX_DEFAULT="quiet splash acpi_force_32bit_fadt_addr"

Then download install the appropriate ones for your machine from http://kernel.ubuntu.com/~cking/lp-1529381

I've tested this out on a virtual machine with a modified BIOS so I believe it should do the trick. Please let me know if it works around the issue. Thanks.