fix check_kernel_message_nobug