We have a brand new server running on Dual Xeon 3.06 with a Tyan S2723 board. It works fine with USB keyboard for the most part. We get a device failed to load: i8042prt error in the log everytime. If we plug in a PS/2 keyboard, the server would not boot, it just restarts whenever it's about to load the OS and occasionally in the OS too. Any suggestion?