Finalmente ho installato Debian come si deve
(in dual boot obvs)