per aggiornare il proprio kde occorre fare un semplice mandriva update dal pannello di controllo o cosa?