Si, lo stavo leggendo proprio adesso in giro.
Ma guarda un pò, non ho l'idea di come si compila il kernel! VVoVe:

Magari se mi passassi qualche suggerimento potrei provarci, forse è più facile di quanto mi immagini...