Mi accodo alla discussione, ho lo stesso problema !

Operatore wind, kernel di fabbrica, aggiornato sempre e solo tramite kies

ciao
Mauro