10.0-CURRENT: kernel: Fatal trap 12: page fault while in kernel mode

The most recent build of FreeBSD 10.0-CURRENT crashes on one of our
boxes with recent Intel hardware, see dmesg extract below. FreeBSD does
obviously only crash on hardware with modern "Sandy-Bridge" hardware,
the very same kernel config and a very similar setup does work very well
on an older Intel Core2Dua architecture.

Machine in question runs an older kernel (set via nextboot -k
kernel.old) very well:
FreeBSD 10.0-CURRENT #0 r237697: Thu Jun 28 11:45:08 CEST 2012

Most recent buildworls/kernels crash after going into multiuser mode
(/etc/rc-scripts getting executed). Below the kernel trap message.

I do this report on the fly, so if there is need for deeper
investigations let me know, I will provide necessary detail requested.

Regards,
Oliver

Jul  2 13:34:26 sb211 kernel: Fatal trap 12: page fault while in kernel mode
Jul  2 13:34:26 sb211 kernel: cpuid = 3; apic id = 03
Jul  2 13:34:26 sb211 kernel: fault virtual address   = 0x6c
Jul  2 13:34:26 sb211 kernel: fault code              = supervisor read
data, page not present
Jul  2 13:34:26 sb211 kernel: instruction pointer     =
0x20:0xffffffff807ed8e0
Jul  2 13:34:26 sb211 kernel: stack pointer           =
0x28:0xffffff88c5d5e570
Jul  2 13:34:26 sb211 kernel: frame pointer           =
0x28:0xffffff88c5d5e620
Jul  2 13:34:26 sb211 kernel: code segment            = base 0x0, limit
0xfffff, type 0x1b
Jul  2 13:34:26 sb211 kernel: = DPL 0, pres 1, long 1, def32 0, gran 1
Jul  2 13:34:26 sb211 kernel: processor eflags        = interrupt
enabled, resume, IOPL = 0
Jul  2 13:41:47 sb211 syslogd: kernel boot file is /boot/kernel/kernel
Jul  2 13:41:47 sb211 kernel: Copyright (c) 1992-2012 The FreeBSD Project.
Jul  2 13:41:47 sb211 kernel: Copyright (c) 1979, 1980, 1983, 1986,
1988, 1989, 1991, 1992, 1993, 1994
Jul  2 13:41:47 sb211 kernel: The Regents of the University of
California. All rights reserved.
Jul  2 13:41:47 sb211 kernel: FreeBSD is a registered trademark of The
FreeBSD Foundation.
Jul  2 13:41:47 sb211 kernel: FreeBSD 10.0-CURRENT #0 r237995: Mon Jul
2 14:49:08 CEST 2012
Jul  2 13:41:47 sb211 kernel:
root_at_sb211.geoinf.fu-berlin.de:/usr/obj/usr/src/sys/sb211 amd64
Jul  2 13:41:47 sb211 kernel: module_register: module enc already exists!
Jul  2 13:41:47 sb211 kernel: Module enc failed to register: 17
Jul  2 13:41:47 sb211 kernel: CPU: Intel(R) Core(TM) i7-3930K CPU _at_
3.20GHz (3209.59-MHz K8-class CPU)
Jul  2 13:41:47 sb211 kernel: Origin = "GenuineIntel"  Id = 0x206d7
Family = 6  Model = 2d  Stepping = 7
Jul  2 13:41:47 sb211 kernel:
Features=0xbfebfbff<FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CLFLUSH,DTS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE>
Jul  2 13:41:47 sb211 kernel:
Features2=0x1fbee3bf<SSE3,PCLMULQDQ,DTES64,MON,DS_CPL,VMX,EST,TM2,SSSE3,CX16,xTPR,PDCM,PCID,DCA,SSE4.1,SSE4.2,x2APIC,POPCNT,TSCDLT,AESNI,XSAVE,OSXSAVE,AVX>
Jul  2 13:41:47 sb211 kernel: AMD
Features=0x2c100800<SYSCALL,NX,Page1GB,RDTSCP,LM>
Jul  2 13:41:47 sb211 kernel: AMD Features2=0x1<LAHF>
Jul  2 13:41:47 sb211 kernel: TSC: P-state invariant, performance statistics
Jul  2 13:41:47 sb211 kernel: real memory  = 34359738368 (32768 MB)
Jul  2 13:41:47 sb211 kernel: avail memory = 33072930816 (31540 MB)
Jul  2 13:41:47 sb211 kernel: Event timer "LAPIC" quality 600
Jul  2 13:41:47 sb211 kernel: ACPI APIC Table: <ALASKA A M I>
Jul  2 13:41:47 sb211 kernel: FreeBSD/SMP: Multiprocessor System
Detected: 12 CPUs
Jul  2 13:41:47 sb211 kernel: FreeBSD/SMP: 1 package(s) x 6 core(s) x 2
SMT threads