- xserver-1.3.0-avoid-ps2-probe.patch: /dev/input/mice is always ExplorerPS/2, so don't waste time on startup probing for it.