Description of problem:  '/sbin/modprobe r8187se' fails in FC19 (r8187se not found).
r8187se source is not being compiled; however, the kmod staging source is contained in 'linux-3.11/drivers/staging/rtl8187se'

Version-Release number of selected component (if applicable):
kernel 3.11.7-200.fc19.x86_64
kernel 3.11.8-200.fc19.x86_64
kernel 3.11.9-200.fc19.x86_64
kernel 3.11.10-200.fc19.x86_64

How reproducible:
Update kernel from 3.11.9-200.fc19.x86_64 to 3.11.10-200.fc19.x86_64.

Steps to Reproduce:
1.  Use a laptop that has the following WIFI hardware operating properly with FC19, kernel 3.11.9-200.fc19.x86_64:
lspci | grep Realtek
02:00.0 Network controller: Realtek Semiconductor Co., Ltd. RTL8187SE Wireless LAN Controller (rev 22)
03:00.0 Ethernet controller: Realtek Semiconductor Co., Ltd. RTL8101E/RTL8102E PCI Express Fast Ethernet controller (rev 02)

2.  Update kernel from 3.11.9-200.fc19.x86_64 to 3.11.10-200.fc19.x86_64. 
3.  Reboot laptop. 
4.  Wifi is now inoperative. '/sbin/modprobe r8187se' fails (r8187se can not be found).   

Actual results:
'/sbin/modprobe r8187se' fails (r8187se is not found).

Expected results:
r8187se.ko should be built, installed in proper location, and available to detect the WIFI using the following command (as root):
/sbin/modprobe r8187se

Additional info:
If I download the kernel source and compile the rtl8187se source code and perform the following steps (as root), the WIFI works :
mkdir /lib/modules/$(uname -r)/kernel/drivers/staging/rtl8187se
cp r8187se.ko /lib/modules/$(uname -r)/kernel/drivers/staging/rtl8187se/
/sbin/depmod -a
/sbin/modprobe r8187se