mi_kernel.c : Modifications apportées au code source afin de supprimer les warnings