Some configuration and scripts I use to run Linux on the Lenovo ThinkPad T440s