Samsung mice and other pointing device drivers