We have uploaded a new Precise linux kernel. Please note the ABI bump. The most notable changes are as follows:

* rebase to 3.2-rc5
* dmar: disable if ricoh multifunction detected
* dell-wmi: Demote unknown WMI event message to pr_debug

https://launchpad.net/ubuntu/+source/linux/3.2.0-4.10