SET_KERNEL_3_NAME
{SET_KERNEL_3_NAME, SET_KERNEL_3, false, MSG_set_kernel_3, NULL},
#ifdef SET_KERNEL_3_NAME