Function ring_entry_kernel 

pub fn ring_entry_kernel(ring: [KeyEntry; 16], ctx: Ctx) -> KeyEntry

Read one ring entry by dynamic context index.

Inputs: the whole ring and a context index. Output: ring[ctx]. Written as a compare-and-select loop for the same reason as pick_secret_kernel: a CONTEXTS-way multiplexer instead of array copies. Combinational.