Mouse stopped working

[David Baron <d_baron@012.net.il>]

Maybe the rodent itself kicked, but:

While is was working, I got on bootup:
PNP PS/2 Controller .....

Now, not working, I get on bootup
PNP PS/2 Controller ....
PNP PS/2 Controller appears to have AUX port disabled, if this is incorrect 
please boot with i8042.nopnp

If this is relevant, what do I do?

(Corolary symtom: Mousedev module hits /dev/psaux and was being loaded 
automatically. Now it is not. So I uncommented in /etc/modules. Mouse still 
does not work but /dev/psaux is then "engaged")