SET_KERNEL_9_NAME
#ifdef SET_KERNEL_9_NAME
{SET_KERNEL_9_NAME, SET_KERNEL_9, false, MSG_set_kernel_9, NULL},