VMware 12 no inicia en Debian

Resulta que por alguna extraña razon, VMware dejó de funcionar en mi Debian, cuando intento iniciarlo, me dice que no puede iniciar el servicio.

Comienzo mi lectura y me entero que es por una actualización del kernel de mi equipo, todos los que tengan un kernel igual o mayor a 4.6 deberán proceder a parchear un par de archivos de VMware para poder ejecutarlo.

Los pasos a efectuar son los siguientes:

$ sudo -i 

# cd /usr/lib/vmware/modules/source
# tar xf vmmon.tar
# mv vmmon.tar vmmon.old.tar
# sed -i -e 's/get_user_pages/get_user_pages_remote/g' vmmon-only/linux/hostif.c
# tar cf vmmon.tar vmmon-only
# rm -r vmmon-only

# tar xf vmnet.tar
# mv vmnet.tar vmnet.old.tar
# sed -i -e 's/get_user_pages/get_user_pages_remote/g' vmnet-only/userif.c
# tar cf vmnet.tar vmnet-only
# rm -r vmnet-only

 Luego de esto, podrán ejecutar vmware sin problemas.

Fuente: https://wiki.archlinux.org/index.php/VMware#3.19_kernels