ci: use new devctr

Use the new devctr from latest changes

Signed-off-by: Pablo Barbáchano <[email protected]>

tools/devtool

@@ -68,7 +68,7 @@
 DEVCTR_IMAGE_NO_TAG="public.ecr.aws/firecracker/fcuvm"
 
 # Development container tag
-DEVCTR_IMAGE_TAG=${DEVCTR_IMAGE_TAG:-v74}
+DEVCTR_IMAGE_TAG=${DEVCTR_IMAGE_TAG:-v75}
 
 # Development container image (name:tag)
 # This should be updated whenever we upgrade the development container.