You'll need to wait a bit until a new device tree comes for these devices. Given that support for the ThinkPad X13s with the same SoC is coming along... going to happen pretty soon.
For others similarly interested, it turns out "X13s" is not "multiple X13 models" but rather "X13s" is the model number: https://www.lenovo.com/us/en/p/laptops/thinkpad/thinkpadx/th... and is currently listed at USD$995 for "Gen 1" and all the way up to USD$1570 for the high end