I've an Gateway FX6850-51u desktop.  This is an EFI system, and until few Ubunutu releases ago, there was a kernel bug that caused kernel to crash on shutdown or reboot.  This bug was fixed some time ago, and my system reboots correctly (see <a href="https://bugs.launchpad.net/ubuntu/+source/linux/+bug/721576">https://bugs.launchpad.net/ubuntu/+source/linux/+bug/721576</a>).  However on shutdown kernel now only displays "Power down." message on console, but it does not power down the system.  It's kind of odd.  Are there some settings to fiddle with or diagnostic I could run?