We have uploaded a new Precise linux ti-omap4 kernel. The most notable
changes are as follows:

  * rebase to latest master release Ubuntu-3.2.0-3.9
  * temporary work around for hangs on reboot

The full changelog can be found at:

https://launchpad.net/ubuntu/+source/linux-ti-omap4/3.2.0-1402.2