ho risolto. Ho trovato una finestrella in cui settare la risoluzione corretta, ma devo scoprire se è possibile salvarla per ricaricarla al successivo boot.