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

Change-Id: Ib12e3fd6c09309055ab3af1c935d55aee048b426

chenm001/connectal,8l/connectal,csail-csg/connectal,hanw/connectal,cambridgehackers/connectal,csail-csg/connectal,cambridgehackers/connectal,chenm001/connectal,hanw/connectal,csail-csg/connectal,hanw/connectal,csail-csg/connectal,cambridgehackers/connectal,8l/connectal,csail-csg/connectal,chenm001/connectal,cambridgehackers/connectal,chenm001/connectal,8l/connectal,chenm001/connectal,cambridgehackers/connectal,hanw/connectal,8l/connectal,8l/connectal,hanw/connectal