Comment # 21 on bug 983702 from Giuseppe Gorgoglione

(In reply to Egbert Eich from comment #18)

> Argh, I should have told you to run this as root. (And used a '#' instead of 
> a '$').

No problem at all, I should have found that myself. Yes, it does print
"detected" when run as root

> To get it to work
> you need to move /etc/X11/xorg.conf.d/50-vmmouse.conf to a file where the
> initial number (now 50) is higher than the one for libinput.

I can confirm this fix works very well: moving 50-vmmouse.conf to a number
higher than 60 (which is the libinput's one) gave me back the mouse
integration. Thankfully I can keep my EFI boot while waiting for the proper fix
to the vmmouse driver.

Thank you all guys for your amazing support!