debian: use docker.io package's contrib/mkimage.sh