[dannyobrien]

my only datapoint here is that I have a Thinkpad X1 running Debian that doesn't cook, and keeps a charge, but I have no idea how I pulled that off