niente da fare nel kernel non ho trovato nulla...