When using vboxvideo, set CorePointer option on mouse