Backport timeout fix for kani into firecracker-1.9#4766

bchalios merged 1 commit intofirecracker-microvm:firecracker-v1.9firecracker-microvm/firecracker:firecracker-v1.9from

bchalios:backport_kani_time_limit_fixbchalios/firecracker:backport_kani_time_limit_fixCopy head branch name to clipboard