Sorry for replying to my own post - this is to let everyone know that the problem has been solved. It seems that /dev/ttyS0 has permissions set for group dialout of which I (Ivan) was not a member. When I added myself to the group and followed Joey Hesse's suggestions from the bug mailing list of initialising the mouse __before__ calling vga_init() everything works lovely. Thank you. Ivan.