Questa guida è utile per chi ha un pc con CPU a 64 bit con installato una distribuzione di derivazione Debian come Ubuntu. La procedura è stata provata