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. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/721576 Title: [natty] kernel panic on reboot with (U)EFI -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
