> It's not running Debian baremetal -- what would have been amazing and a reason to buy.

So you may be interested in Librem 5, which does exactly this.