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....