I've confirmed that the nic-modules-3.2.0-39-generic-di_3.2.0-39.62_i386.udeb package contains the mlx4_core.ko and mlx4_en.ko kernel modules. Tagging as verified for Precise.
I've confirmed that the nic-modules- 3.2.0-39- generic- di_3.2. 0-39.62_ i386.udeb package contains the mlx4_core.ko and mlx4_en.ko kernel modules. Tagging as verified for Precise.