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

* x86/paravirt: PTE updates in k(un)map_atomic need to be synchronous
* rebase to v3.2-rc4

The full changelog can be found at:

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