The Thinkpad x13s is pretty good for a mostly normal arm Linux laptop. The SOC is still pretty usable and it's functionality on Linux is also pretty complete. The main thing lacking is the speakers are very low to protect them from blowing out without a proper driver.