generalize constraints slightly for kc705 and vc707
added sglistSem to fix a hack
fixed a problem with sglist in AxiRDMA
PortalTop -> PortalDmaTop
show the mismatches in memread
check for non-zero physaddr and report badAddr otherwise