move mkPortalTop back up to mkPcieTopFromPortal
removed portalResetIfc from pcie (no longer can reset design from xbsvutil)
added debugging info when memread starts