This is on current linus:
[ 3.806733] EDAC sbridge: Seeking for: dev 0d.6 PCI ID 8086:3cf5
[ 3.807455] EDAC sbridge: Seeking for: dev 0d.6 PCI ID 8086:3cf5
[ 3.808317] BUG: key ffff880436f00330 not in .data!
[ 3.808843] ------------[ cut here ]------------
[ 3.809571] WARNING: at kernel/lockdep.c:2987 lockdep_init_map+0x555/0x590()
[ 3.810274] DEBUG_LOCKS_WARN_ON(1)
[ 3.810279] Modules linked in: sb_edac(+) edac_core acpi_cpufreq mperf ehci_hcd gf128mul ablk_helper iTCO_wdt iTCO_vendor_support evdev l
pc_ich button pcspkr usbcore snd cryptd mfd_core usb_common soundcore processor microcode
[ 3.811776] CPU: 7 PID: 718 Comm: modprobe Not tainted 3.9.0+ #5
[ 3.812516] Hardware name: Dell Inc. Precision T3600/0PTTT9, BIOS A08 01/24/2013
[ 3.813271] 0000000000000009 ffff880434421858 ffffffff815e97c6 ffff880434421898
[ 3.814009] ffffffff8103e210 ffff880434421888 ffff88043b200110 ffffffff8181062e
[ 3.814758] 0000000000000000 ffff880436f00330 0000000000000000 ffff8804344218f8
[ 3.815518] Call Trace:
[ 3.816249] [<ffffffff815e97c6>] dump_stack+0x19/0x1b
[ 3.816977] [<ffffffff8103e210>] warn_slowpath_common+0x70/0xa0
[ 3.817675] [<ffffffff8103e2f6>] warn_slowpath_fmt+0x46/0x50
[ 3.818394] [<ffffffff810954c5>] lockdep_init_map+0x555/0x590
[ 3.819119] [<ffffffff810998ed>] ? trace_hardirqs_on_caller+0x10d/0x1d0
[ 3.819837] [<ffffffff810999bd>] ? trace_hardirqs_on+0xd/0x10
[ 3.820536] [<ffffffff81093ea8>] debug_mutex_init+0x38/0x50
[ 3.821223] [<ffffffff81068b91>] __mutex_init+0x61/0x70
[ 3.821916] [<ffffffff8142a495>] bus_register+0x175/0x2e0
[ 3.822579] [<ffffffffa00ce645>] edac_create_sysfs_mci_device+0x55/0x540 [edac_core]
[ 3.823249] [<ffffffff810999bd>] ? trace_hardirqs_on+0xd/0x10
[ 3.823938] [<ffffffffa00cc5e3>] edac_mc_add_mc+0x103/0x270 [edac_core]