Ubuntu
linux package

  1. Bug #768039
  2. Comment #5

Comment 5 for bug 768039

Revision history for this message
Paul Handly (mephaust) wrote :

I changed /etc/default/grub and added the following:

GRUB_CMDLINE_LINUX="reboot=pci"

Then ran `update-grub` and rebooted (the hard way).

It's working properly for me now, so it sounds a bit like some kernel/ACPI/bios stuff needs to be worked out.