Constant OPENTHREAD_DNS_SERVER_INDEX

pub const OPENTHREAD_DNS_SERVER_INDEX: u32 = 0;