The next kernel experienced an Oops but did not lock up, and the oops looks unrelated afaict.

OopsText:
 BUG: unable to handle kernel NULL pointer dereference at 0000000000000119
 IP: [<ffffffff8135f232>] memcpy+0x12/0x110
 PGD 0 
 Oops: 0002 [#1] SMP 
 Modules linked in: hid_magicmouse hidp hid cuse dm_crypt autofs4 rfcomm parport_pc bnep ppdev intel_powerclamp coretemp kvm_intel kvm nfsd auth_rpcgss crc32_pclmul ghash_clmulni_intel nfs_acl aesni_intel btusb aes_x86_64 lrw gf128mul nfs bluetooth snd_hda_codec_hdmi lockd glue_helper sunrpc ablk_helper arc4 cryptd snd_hda_codec_conexant iwldvm snd_hda_intel mac80211 binfmt_misc fscache snd_hda_codec joydev snd_hwdep thinkpad_acpi snd_pcm nvram snd_page_alloc snd_seq_midi snd_seq_midi_event snd_rawmidi snd_seq serport snd_seq_device snd_timer iwlwifi psmouse mei_me snd cfg80211 microcode serio_raw mei soundcore wacom_w8001 intel_ips lpc_ich mac_hid tpm_tis lp parport btrfs xor zlib_deflate raid6_pq libcrc32c i915 i2c_algo_bit drm_kms_helper drm ahci e1000e libahci ptp pps_core wmi video
 CPU: 3 PID: 3541 Comm: firefox Not tainted 3.9.0-030900-generic #201309101628
 Hardware name: LENOVO 0831CTO/0831CTO, BIOS 6QET53WW (1.23 ) 09/15/2010
 task: ffff88004e145dc0 ti: ffff88001e180000 task.ti: ffff88001e180000
 RIP: 0010:[<ffffffff8135f232>]  [<ffffffff8135f232>] memcpy+0x12/0x110
 RSP: 0018:ffff88001e181cc0  EFLAGS: 00010202
 RAX: 0000000000000119 RBX: ffffffff81ad53f6 RCX: 0000000000000002
 RDX: 0000000000000002 RSI: ffffffff81ad53f4 RDI: 0000000000000119
 RBP: ffff88001e181d18 R08: 000000000000005d R09: ffff880076c08400
 R10: 0000000000000001 R11: 0000000000000293 R12: ffff880036017800
 R13: 0000000000000002 R14: 0000000000000002 R15: 0000000000000002
 FS:  00007f7ffd34d740(0000) GS:ffff880077180000(0000) knlGS:0000000000000000
 CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
 CR2: 0000000000000119 CR3: 000000001e295000 CR4: 00000000000007e0
 DR0: 0000000000000000 DR1: 0000000000000000 DR2: 0000000000000000
 DR3: 0000000000000000 DR6: 00000000ffff0ff0 DR7: 0000000000000400
 Stack:
  ffffffff814330f8 ffff880070e25680 0000000000000000 0000000000000002
  ffff880072994800 00007f7ff6bb9000 ffff880072b23800 ffff880072b23400
  000000000000000a 000000000000005d ffff880072dfb800 ffff88001e181d48
 Call Trace:
  [<ffffffff814330f8>] ? tty_insert_flip_string_fixed_flag+0x88/0xd0
  [<ffffffff81434680>] pty_write+0x40/0x80
  [<ffffffff81162306>] ? handle_pte_fault+0x96/0x230
  [<ffffffff8142c9b1>] do_output_char+0x191/0x210
  [<ffffffff8142ca7b>] process_output+0x4b/0x70
  [<ffffffff8142d1c4>] n_tty_write+0x134/0x2f0
  [<ffffffff810910f0>] ? try_to_wake_up+0x200/0x200
  [<ffffffff8142a034>] do_tty_write+0xc4/0x1f0
  [<ffffffff8142d090>] ? n_tty_ioctl+0xf0/0xf0
  [<ffffffff8142a204>] tty_write+0xa4/0xf0
  [<ffffffff811a0fae>] vfs_write+0xce/0x1e0 
  [<ffffffff811a1492>] SyS_write+0x52/0xa0
  [<ffffffff8172202f>] tracesys+0xe1/0xe6
 Code: 4e 48 83 c4 08 5b 5d c3 90 e8 fb fd ff ff eb e6 90 90 90 90 90 90 90 90 90 48 89 f8 48 89 d1 48 c1 e9 03 83 e2 07 f3 48 a5 89 d1 <f3> a4 c3 20 4c 8b 06 4c 8b 4e 08 4c 8b 56 10 4c 8b 5e 18 48 8d 
 RIP  [<ffffffff8135f232>] memcpy+0x12/0x110
  RSP <ffff88001e181cc0>
 CR2: 0000000000000119
 ---[ end trace 92cd6f6a9efc9dff ]---