Pour patcher le noyau, vous avez deux solutions.
Soit en utilisant la commande patch, soit le script /usr/src/linux/scripts/patch-kernel.
(Voir la fin de l'astuce "[lire.php3?id=30 Mise à jour du noyau]")