they don't exist its one issue we have, dell has not released a full-update.zip only patches-update.zip, so there is no full boot.img, recovery.img, or droidboot.img, i can only extract the kernel and ramdisk from the /dev/block/mmcblk0p1 (reserved) partition dumps all three are located within this 256MB partition, i'm a hobbyist not a dev so im not to sure how to extract the images as a whole from the /dev/block/mmcblk0p1 (reserved) partition dumps.
the tools for unpacking and repacking are on my github but use-less for repacking as it needs the base image for repacking to copy the boot stub from (boot cmd) but even then we couldn't flash unsigned .img through droidboot.
https://github.com/social-design-concepts/intel-boot-tools
original thread : http://xdaforums.com/showthread.php?t=1972589
tur1, created the original tools all i did was flip the default padding as it is more common on the Intel images.
i was able to extract the kernel and ramdisk by from the /dev/block/mmcblk0p1 (reserved) partition dumps by opening them up in a hex editor and locating the offset of "init=" for each image then changing the HEAD_PADDING in the bootheader.h and the recompile the tool for each offset. and unpack. as i said earlier i'm unsure how to extract the .img as a whole.