temp: point to CI bucket with VMClock kernels

We created a CI bucket that includes VMClock kernels with backported
patches for the snapshot safety features.

Signed-off-by: Babis Chalios <bchalios@amazon.es>

Author: bchalios

tools/devtool

@@ -573,7 +573,8 @@ ensure_ci_artifacts() {
     # Fetch all the artifacts so they are local
     say "Fetching CI artifacts from S3"
     FC_VERSION=$(cmd_sh "cd src/firecracker/src; cargo pkgid | cut -d# -f2 | cut -d. -f1-2")
-    S3_URL=s3://spec.ccfc.min/firecracker-ci/v$FC_VERSION/$(uname -m)
+    #S3_URL=s3://spec.ccfc.min/firecracker-ci/v$FC_VERSION/$(uname -m)
+    S3_URL=s3://spec.ccfc.min/firecracker-ci/v1.15-vmclock/$(uname -m)
     ARTIFACTS=$MICROVM_IMAGES_DIR/$(uname -m)
     if [ ! -d "$ARTIFACTS" ]; then
         mkdir -pv $ARTIFACTS