risolto, è stato sufficiente installare una versione più recente del kernel!