fix(test): increase timeout of kani tests

Some changes that we did in the VirtIO queue in this PR:
firecracker-microvm#4726 pushed kani
proofs close to the time limit we set in the CI. This commit just
increases the timeout from 30 to 40 minutes.

Signed-off-by: Babis Chalios <[email protected]>

Author: bchalios

tests/integration_tests/test_kani.py

@@ -14,7 +14,7 @@
 PLATFORM = platform.machine()
 
 
-@pytest.mark.timeout(1800)
+@pytest.mark.timeout(2400)
 @pytest.mark.skipif(PLATFORM != "x86_64", reason="Kani proofs run only on x86_64.")
 @pytest.mark.skipif(
     os.environ.get("BUILDKITE") != "true",