Symbol: kernel_handle_message