Linux kernel work for arm64 thinkpad x13s: https://github.com/aarch64-laptops/linux/commits/lenovo-x13s