PROBLEM: kernel Oops during shutdown of 3.6.38 kernel on EFI system

["Michael Barton" <mgb@inyankara.org>]

[1.] One line summary of the problem:  

During system shutdown, the kernel panics
  
[2.] Full description of the problem/report:

During system shutdown, the kernel dies and the machine locks up.  The
console shows:
* Restarting system.
BUG: unable to handle kernel paging request at .....
IP: ....
PGD 0
Oops: 0000 [#1] SMP
Last sysfs file:
/sys/devices/pci0000:00/0000:00:1d.o/usb2/2-1/2-1.2:1.1/bInterfaceClass
CPU 0
Modules linked in:
Pid: 1278, comm, reboot Not tainted 2.6.38-8-generic #42-Ubuntu Gateway
FX6850/FX6580
...
Call Trace:
console_unlock
duwn_trylock
efi_call4
default_spin_lock_flags
virt_efi_reset_system
native_machine_emergency_restart
disable_IO_APIC
natice_machine_restart
...
do_page_fault
iterate_supers
system_call_fastpath

[3.] Keywords (i.e., modules, networking, kernel):

Kernel restart

[4.] Kernel version (from /proc/version):

Linux version: 2.6.38-8-generic - gcc version 4.5.2 #42 Ubuntu

[5.] Output of Oops.. message (if applicable) with symbolic information 
     resolved (see Documentation/oops-tracing.txt)

Oops: 0000 [#1] SMP

[6.] A small shell script or example program which triggers the
     problem (if possible)

'/sbin/shutdown -r now'

[7.] Environment
[7.1.] Software (add the output of the ver_linux script here)
[7.2.] Processor information (from /proc/cpuinfo):

Processor: 7 
Vendor_id: GenuineIntel
Cpu family : 6
Model: 42
Model name: Intel(R) Core(TM) i7-2600 CPU @ 3.40GHz
...
Address sizes : 36 bits physical, 48 bits virtual

[7.3.] Module information (from /proc/modules):
[7.4.] Loaded driver and hardware information (/proc/ioports, /proc/iomem)
[7.5.] PCI information ('lspci -vvv' as root)
[7.6.] SCSI information (from /proc/scsi/scsi)
[7.7.] Other information that might be relevant to the problem
       (please look in /proc and include all information that you
       think to be relevant):
[X.] Other notes, patches, fixes, workarounds:

I have installed Ubuntu 11.04 on a GPT partition, on a Gateway FX6850.
i7-2600, H67 chipset.  I installed and boot in EFI mode.

The problem is 100% reproducible, so let me know what additional details you
need, and I can acquire them.

Michael

--- 
 
Michael Barton
Engineering Software Solutions, Inc.
303-948-6199
mgb@inyankara.org