Update docs about kernel_info_reply