I've examined the contents of the nic-usb-modules udeb from the 3.2.0-24.37 kernel in precise-proposed and can confirm the rtl8187 module is included:
$ for x in `ls nic-usb-modules*.udeb`; do echo $x; dpkg -c $x | grep "rtl8187.ko"; done nic-usb-modules-3.2.0-24-generic-di_3.2.0-24.37_amd64.udeb -rw-r--r-- root/root 100456 2012-04-25 04:53 ./lib/modules/3.2.0-24-generic/kernel/drivers/net/wireless/rtl818x/rtl8187/rtl8187.ko nic-usb-modules-3.2.0-24-generic-di_3.2.0-24.37_i386.udeb -rw-r--r-- root/root 73748 2012-04-25 08:15 ./lib/modules/3.2.0-24-generic/kernel/drivers/net/wireless/rtl818x/rtl8187/rtl8187.ko nic-usb-modules-3.2.0-24-generic-pae-di_3.2.0-24.37_i386.udeb -rw-r--r-- root/root 73812 2012-04-25 08:42 ./lib/modules/3.2.0-24-generic-pae/kernel/drivers/net/wireless/rtl818x/rtl8187/rtl8187.ko
I've examined the contents of the nic-usb-modules udeb from the 3.2.0-24.37 kernel in precise-proposed and can confirm the rtl8187 module is included:
$ for x in `ls nic-usb- modules* .udeb`; do echo $x; dpkg -c $x | grep "rtl8187.ko"; done modules- 3.2.0-24- generic- di_3.2. 0-24.37_ amd64.udeb 3.2.0-24- generic/ kernel/ drivers/ net/wireless/ rtl818x/ rtl8187/ rtl8187. ko modules- 3.2.0-24- generic- di_3.2. 0-24.37_ i386.udeb 3.2.0-24- generic/ kernel/ drivers/ net/wireless/ rtl818x/ rtl8187/ rtl8187. ko modules- 3.2.0-24- generic- pae-di_ 3.2.0-24. 37_i386. udeb 3.2.0-24- generic- pae/kernel/ drivers/ net/wireless/ rtl818x/ rtl8187/ rtl8187. ko
nic-usb-
-rw-r--r-- root/root 100456 2012-04-25 04:53 ./lib/modules/
nic-usb-
-rw-r--r-- root/root 73748 2012-04-25 08:15 ./lib/modules/
nic-usb-
-rw-r--r-- root/root 73812 2012-04-25 08:42 ./lib/modules/