Ça dépend de ce qu'on appelle kernel aussi...
si on compare vmlinuz et ntoskrnl, ben... c'est pas très correct, la plupart des drivers de base sont inclus le "noyau linux".
Donc à mon avis il est très probable que le source du kernel soit portable, mais il doit en être autrement des drivers standard.

Il n'y a qu'à voir les drivers proprio nvidia, qui partagent probablement une base de code avec ceux de windows et sont non portés sur autre chose que les plateformes x86; n'importe quelle carte supportée par le noyau linux et par X fonctionnera sur une plateforme où linux est porté...

Ok ce n'est pas du code de microsoft mais je pense que si les api pour écrire des drivers noyau imposaient la portabilité il en serait autrement