build iso as .iso instead of as .bin.iso
build iso as .iso instead of as .bin.iso

ujamjar/rumpuser-baremetal,ujamjar/rumpuser-baremetal,rumpkernel-attic/rumprun-baremetal,rumpkernel-attic/rumprun-baremetal,rumpkernel-attic/rumprun-baremetal,ujamjar/rumpuser-baremetal