moved Gearbox out to mkPcieTopFromPortal