Kernel Oops - BUG: unable to handle kernel NULL pointer dereference at 00000000000000f0; RIP: 0010:[<ffffffff8103db09>] [<ffffffff8103db09>] __ticket_spin_lock+0x9/0x30

[Viesturs Zariņš]

Booted daily build on Dell XPS 15z.
Started installer, connected to wireless.

The screen switched to console for a second and switched back to desktop.
Error reporting dialog appeared.

System seems to be running fine after that.

ProblemType: KernelOops
DistroRelease: Ubuntu 12.04
Package: linux-image-3.2.0-23-generic 3.2.0-23.36
ProcVersionSignature: Ubuntu 3.2.0-23.36-generic 3.2.14
Uname: Linux 3.2.0-23-generic x86_64
AcpiTables:

AlsaVersion: Advanced Linux Sound Architecture Driver Version 1.0.24.
Annotation: Your system might become unstable now and might need to be restarted.
ApportVersion: 2.0.1-0ubuntu2
Architecture: amd64
ArecordDevices:
 **** List of CAPTURE Hardware Devices ****
 card 0: PCH [HDA Intel PCH], device 0: ALC269VB Analog [ALC269VB Analog]
   Subdevices: 1/1
   Subdevice #0: subdevice #0
AudioDevicesInUse:
 USER PID ACCESS COMMAND
 /dev/snd/controlC0: ubuntu 3337 F.... pulseaudio
Card0.Amixer.info:
 Card hw:0 'PCH'/'HDA Intel PCH at 0xf1c00000 irq 23'
   Mixer name : 'Intel CougarPoint HDMI'
   Components : 'HDA:10ec0269,10280446,00100100 HDA:80862805,80860101,00100000'
   Controls : 24
   Simple ctrls : 11
CasperVersion: 1.314
Date: Sun Apr 15 06:31:50 2012
Failure: oops
LiveMediaBuild: Ubuntu 12.04 LTS "Precise Pangolin" - Beta amd64 (20120414)
MachineType: Dell Inc. Dell System XPS 15Z
ProcFB: 0 inteldrmfb
ProcKernelCmdLine: file=/cdrom/preseed/hostname.seed boot=casper initrd=/casper/initrd.lz quiet splash -- acpi=off
PulseList: Error: command ['pacmd', 'list'] failed with exit code 1: No PulseAudio daemon running, or not running as session daemon.
RelatedPackageVersions: kerneloops-daemon 0.12+git20090217-1ubuntu18
SourcePackage: linux
StagingDrivers: mei
Title: BUG: unable to handle kernel NULL pointer dereference at 00000000000000f0
UpgradeStatus: No upgrade log present (probably fresh install)
dmi.bios.date: 10/26/2011
dmi.bios.vendor: Dell Inc.
dmi.bios.version: A07
dmi.board.name: 00WW5M
dmi.board.vendor: Dell Inc.
dmi.board.version: A00
dmi.chassis.type: 8
dmi.chassis.vendor: Dell Inc.
dmi.chassis.version: 0.1
dmi.modalias: dmi:bvnDellInc.:bvrA07:bd10/26/2011:svnDellInc.:pnDellSystemXPS15Z:pvr:rvnDellInc.:rn00WW5M:rvrA00:cvnDellInc.:ct8:cvr0.1:
dmi.product.name: Dell System XPS 15Z
dmi.sys.vendor: Dell Inc.