Symbol: rxkad_kernel_respond_to_challenge