Looks to me that you're compiling the usb into the kernel rather
than as
modules. If this is true, this would fix the ps/2 not working on dual
xeon supermicro systems. Please do seriously consider this 'fix'.
I do have a plan for trying building the usb host controllers into the
kernel. But it's post this update to give it a reasonable testing
time....