Alternatively, you can also perform a scan for hardware changes instead of restarting your computer ... change the mouse pointer color. First try black, white, and inverted options.