ok bene
cmq sto verificando un po' tutta la gestione della memoria nel kernel confrontandola con altri sorgenti kernel (ricordo sempre che il sorgente che sto usando non è zopo quindi eventuali modifiche fatte da loro per i loro cell non sono presenti)
vedo se trovo qualche differenza...magari proviamo a importarle in questo kernel per vedere se cambia qualcosa