The standard kernel image from debian does not support ps2 mouse. Look in the special-kernels directory. There is a config file for each kernel to tell you what the kernel supports. I believe the kernel that was built with config-1 contains ps2 mouse support. It should contain a line like
CONFIG_PSMOUSE=m which means that psmouse is supported as a module. Unfortunately, I have not used these kernels so maybe you can confirm this with somebody else... --Derek Lee
