I just realized that the PS2 on our CentOS systems do not work (normally we use USB). Shouldn't they work by default?