Comment # 9 on bug 1043969 from George Olson

I found this out also. If I run this command, here is what I get:
# modprobe -r psmouse ; modprobe psmouse
modprobe: FATAL: Module psmouse is builtin.

So, looking further, I found this:
tribeDellbig:/lib/modules/4.11.5-1.g8ffa6bb-default # cat modules.builtin |
grep mouse
kernel/drivers/input/mousedev.ko
kernel/drivers/input/mouse/psmouse.ko

When I go to that directory, here is what I find:
# ls -g -o /lib/modules/4.11.5-1.g8ffa6bb-default/kernel/drivers/input/mouse
total 276
-rw-r--r-- 1 27400 Jun 14 12:22 appletouch.ko
-rw-r--r-- 1 27504 Jun 14 12:22 bcm5974.ko
-rw-r--r-- 1 88216 Jun 14 12:22 cyapatp.ko
-rw-r--r-- 1 54800 Jun 14 12:22 elan_i2c.ko
-rw-r--r-- 1 11048 Jun 14 12:22 gpio_mouse.ko
-rw-r--r-- 1 11888 Jun 14 12:22 sermouse.ko
-rw-r--r-- 1 18360 Jun 14 12:22 synaptics_i2c.ko
-rw-r--r-- 1 17048 Jun 14 12:22 synaptics_usb.ko
-rw-r--r-- 1 12128 Jun 14 12:22 vsxxxaa.ko


The psmouse.ko file does not exist. So how can it be built in to the kernel if
it doesn't exist?