no need to pass mkSynthesizeablePortalTop as an input to mkPcieTopFromPortal, simplifying

Change-Id: Ib12e3fd6c09309055ab3af1c935d55aee048b426