perchè ci vuole il kernel com il modulo per l'high mem credo.