[Kata-hypervisor] Link to the Hypervisor Prototype