Xf86setup turned out to be the answer, though for some reasons /dev/ttyS0 wasn't listed as an available mouse device.