Erstmal zu den technischen/mechanischen fakten:
Für die unteren Frequenzen die ähnlich wie LTE sind wird es keine Probleme geben.
Für die oberen Frequenzen würde nur probieren helfen
Passende Antenne nachrüsten wird vom Platz her schwer werden, von Lenovo wirds da nix geben.
Das ist ein M.2 Slot mit B-Key und das wird auch so bleiben, denn nur dieser hat die Pins für die SIM-Karte.
Die mechanische größe der Karte ist nicht fix definiert.
Übliche größen in Thinkpads sind 3042 bzw 2242.
D.h. 30 bzw 22 mm breite und 42mm länge.
Die Länge wird begrenzt durch die Position der Schraube
Die Breite wird begrenzt durch den Platz im Gerät
Hier noch ein paar weitere allgemeine m.2 Infos
https://www.delock.de/infothek/M.2/M.2.html
Zu den modulen von sierra habe ich auf die schnelle keine Angabe zur größe gefunden.
Wie Philipp Beitz andeutet wird es von Lenovo sehr wahrscheinlich keine Module geben die offiziel kompatiebel sind.
Ob und wie es im Moment mit dem Whitlising aussieht weiß ich nicht.
Vermutlich wird ein mechanisch passendes modul nicht ohne weiteres laufen