Sicuramente è quello. E' un problema che han tutti. Se uno vuole la soluzione brutale è pigliare un gestore di partizioni ed aumentare la dimensione della partizione di sistema, ma si rischia di far danni se non si sa dove metter le mani. Ci penseranno loro a sistemare in un prossimo aggiornamento.