fixed servers/is/dmp_kernel.c