mouse_close(3vga) on Linux

The text 38b799d23bf3, as Debian 2.2 (Potato), Debian 2.1 (Slink), Debian 2.0 (Hamm) shipped it.

explicitly close a mouse

mouse_close(3vga) on Linux now