puo essere. purtroppo non saprei mettere le mani sul kernel. cioe..nn saprei nemmeno da dove cominciare...