Now that I think about it, I used to be able to get my USB (OHCI) mouse to work with PS/2 emulation turned on in BIOS. This stopped a while back but I thought it was an issue with my system. Seems it may be related to the problems reported by Koki and Euan.