VMWare Workstation 14 e new hostif.c sul kernel 4.13 per correggere un errore di memoria

Sto eseguendo vmware 14.0 su Fedora 26 / kernel 4.13

Tutto funziona bene nel kernel 4.12. Dal kernel 4.13, non posso avviare la VM e il messaggio si riferisce a un "errore di memoria insufficiente".

Ho trovato una soluzione, che consiste in una nuova (o patch) hostif.c (vedi VMWare Workstation: memoria fisica insufficiente dall'ultimo aggiornamento )

Ho provato a compilare vmmon con questo nuovo hostif.c, ma richiede un "vmmonInt.h"

Non riesco a trovare vmmonInt.h nel mio archivio vmmon.tar, né sul mio sistema. Quindi il nuovo hostif.c non può essere compilato. Sono bloccato con il kernel 4.12 e non posso aggiornare il mio sistema.

Mi potete aiutare ? Dove posso trovare questo include? Qualche idea ?

I migliori saluti.