Così mi sembra di ricordare, quindi credevo che fosse compresso diversamente (magari mi sbaglio) e da quanto hai scritto sopra ho dedotto che potesse essere una informazione utile da darti.
Io non sono assolutamente in grado di compilare un kernel ti INVIDIOOOO!!!
Ciao
Pistoneone