Comment 37 for bug 1265885

Here's the logs just after reboot. I also added a "uname -a" to make sure that it's clear which kernel version is being used.

FWIW, when I rebooted the laptop, it locked up on the dell bios screen. I had to cold boot to get it to boot into ubuntu. This probably was more prevalent before the latest bios update that dell released. I wouldn't be too shocked if there were some kind of ACPI firmware issue. However, I am not sure if this is related to the touchpad issue at all.