Make image size configurable

build-image

@@ -147,6 +147,8 @@ board_packages=
 meta_yml=files/meta.yml
 fk_machine=
 JENKINS_AUTH=()
+# in Megabytes
+image_size=3800
 
 while getopts ":hb:d:T:B" opt; do
   case ${opt} in
@@ -242,7 +244,7 @@ sudo pureos_board="${pureos_board}" \
      FK_MACHINE="${fk_machine}" \
     vmdebootstrap \
     --enable-dhcp \
-    --verbose --image "${mainimg}" --log "tmp/${mainimg}.log" --size 3800M  \
+    --verbose --image "${mainimg}" --log "tmp/${mainimg}.log" --size "${image_size}M"  \
     --mirror "${mirror}" \
     --configure-apt \
     --lock-root-password \