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

* armhf — add d-i configuration
* armhf — disable ABI checks for armhf
* armhf — add arch to getabis config

The full changelog can be found at:

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