Verified that kernel 3.2.0-25.40 fixes this for precise:
$ dpkg -I linux-image-3.2.0-25-generic_3.2.0-25.40_i386.deb
...
Description: Linux kernel image for version 3.2.0 on 32 bit x86 SMP
This package contains the Linux kernel image for version 3.2.0 on
32 bit x86 SMP.
Verified that kernel 3.2.0-25.40 fixes this for precise:
$ dpkg -I linux-image- 3.2.0-25- generic_ 3.2.0-25. 40_i386. deb
...
Description: Linux kernel image for version 3.2.0 on 32 bit x86 SMP
This package contains the Linux kernel image for version 3.2.0 on
32 bit x86 SMP.
Tagging as verified for precise