Es gibt keine BIOS Einstellung für PS/2.
Ich würde einfach mal tippen, dass der Anschluss defekt ist.