Is it a PS/2 or a USB keyboard? If it is a PS/2 keyboard, has anybody been hotplugging it?