tuned download of fab10kmod depending on extent of fab10k