pub fn recognize_kernel_image(hash: CapHash) -> Option<KernelImage>Expand description
Look up a kernel-assisted Image by its image_hash_chain. None for a
user Image (the common case). Linear scan over ~15 entries — only called at
Instance entry / yield routing, not on the hot path.