Fixes #3195: add a check to the ISO build process to make sure ipxe-bootimgs is installed