Using the vagrant flow with the pynq repo cloned to workspace and on the master branch.
make BOARDDIR=/workspace/PYNQ/qvil/boards BOARDS=RedPitaya PREBUILT=/workspace/PYNQ/prebuilt/bionic.arm.2.5.img nocheck_images
...
[INFO] successfully built kernel-devsrc
cp -f /workspace/PYNQ/sdbuild/build/RedPitaya/petalinux_project/build/tmp/deploy/rpm/*/kernel-devsrc-1.0-r0.*.rpm /workspace/PYNQ/sdbuild/build/RedPitaya/petalinux_project/build/tmp/deploy/rpm/kernel-devsrc-1.0-r0.plnx_arm.rpm
cp --sparse=always /workspace/PYNQ/prebuilt/bionic.arm.2.5.img /workspace/PYNQ/sdbuild/output/RedPitaya-2.5.img
/workspace/PYNQ/sdbuild/scripts/mount_image.sh /workspace/PYNQ/sdbuild/output/RedPitaya-2.5.img /workspace/PYNQ/sdbuild/build/bionic.RedPitaya
device-mapper: resume ioctl on loop0p2 failed: Invalid argument
create/reload failed on loop0p2
loop0p1
...
followed by some cascading errors because of the failed mount.
Any advice or pointers in the right direction appreciated.