A parte che hanno cominciato a lavorarci PRIMA che Samsung annunciasse l'aggiornamento a Donut (ed hanno cominciato a lavorarci proprio perché sembrava che Samsung non avrebbe aggiornato affatto), in ogni caso fanno bene ad andare avanti perché prima che Samsung rilasci i sorgenti del prossimo firmware potrebbero passare anche un paio di mesi. Quindi intanto si portano avanti col lavoro fattibile, poi appena il kernel sarà disponibile lo useranno.