Comment 7 for bug 721576

Revision history for this message
Jarrett Miller (spook) wrote :

I can confirm this on an Intel DQ57TM motherboard (see bug #773364). As I noted in my duplicate bug report you can easily work around this bug by adding "reboot=a,w" to the kernel command line. So an easy fix is to push out an update to grub-efi that adds that to the kernel command line in /etc/default/grub.

I am pretty sure this is how Windows works as well. EFI systems are required by spec to also have ACPI as a result I think Windows uses the ACPI tables as the reboot vector. It only uses EFI runtime services when booting or using the bcdedit.exe program.

Cheers.