Io ho riscontrato un problema di blocco sul boot per colpa dei picon ma aggiornando il decoder dall'apposito tasto è tornato tutto normale. Hanno aggiornato il kernel e ora è veramente stabile!