removed overload for mkConnection for AXI
(since addrWidth now parameterized, no longer needed)
parameterize StdPortalTop, so that type failure not generated on unused DMA interface