I've confirmed that package nic-modules-3.5.0-24-generic-di_3.5.0-24.37_i386.udeb contains the alx.ko kernel module. Tagging this bug as verified.
I've confirmed that package nic-modules- 3.5.0-24- generic- di_3.5. 0-24.37_ i386.udeb contains the alx.ko kernel module. Tagging this bug as verified.