Update ONOS version from 1.6

Change-Id: I42f919b6d7b12b6fac5488aa98d0c726f8858f2c
diff --git a/scripts/cord-in-a-box.sh b/scripts/cord-in-a-box.sh
index b4068cc..4a410ea 100755
--- a/scripts/cord-in-a-box.sh
+++ b/scripts/cord-in-a-box.sh
@@ -85,8 +85,7 @@
 function vagrant_vms_up() {
   cd $CORDDIR/build
 
-  sudo su $USER -c 'vagrant up corddev --provider libvirt'
-  sudo su $USER -c 'vagrant up prod --provider libvirt'
+  sudo su $USER -c 'vagrant up corddev prod --provider libvirt'
 
   # This is a workaround for a weird issue with ARP cache timeout breaking 'vagrant ssh'
   # It allows SSH'ing to the machine via 'ssh corddev'