pub fn kernel_id_to_u64(id: &KernelId) -> u64
Convert a KernelId to a u64 hash for message envelope addressing.