fix: clarify comments in kani module#5000

roypat merged 2 commits intofirecracker-microvm:mainfirecracker-microvm/firecracker:mainfrom

roypat:kani-comment-fixroypat/firecracker:kani-comment-fixCopy head branch name to clipboard