option to disable PS/2 mouse

Adds an option to disable the PS/2 mouse.

This is useful to work around bugs in PS/2 drivers in some system or testing system without a PS/2 mouse present.