on ne change pas de kernel (logiciel) quand on met a jour la dsi ou la dsi xl.
si avec les mêmes fichiers qui fonctionnaient sur la 1.3 ca ne fonctionne pas sur la 1.4 c'est que le linker n'est pas compatible avec la 1.4.