Hi,
Hard to say, but doing a "grep" inside device-software for mkimage, I found out that the output paths of it are patched by utils/0001-kernel-kernel-yocto-fix-external-src-builds-when-S-B-poky-dora.patch . Maybe setup.sh did not complete the patching process.