Voi quale usate, uno "vostro" o il vanilla? Io ho provato varie volte a creare kernel personalizzati ma le prestazioni mi sembrano pressoche' identiche... quindi mi tengo il vanilla che e' sempre sicuramente piu' leggero di quello di winzozz