Ich würde zu nem refurbisheten HP Elitebook G10 raten. Ich habe selber seit jahren ein 845 G10 und es supportet Linux sehr gut. Fingerabdrucksensor und ir-cam funktionieren, genauso wie der DSP inclusive entsprechender profile für die Lautsprecher welche ziemlich gut sind für ein notebook. Und die Teile sind sehr robust. Meines ist sicher schon 3-4 mal aus ~1,5m Höhe gefallen (geschlossen), und bis jetzt ist der Rahmen nur etwas verzogen aber aktzeptabel. Außerdem kann ich alle steam games spielen welche steam-deck kompatibel sind.