Durch Zufall konnte ich sehr günstig ein HP Elitebook 850 G1 ergattern. Bevor ich allerdings das Betriebssystem, Linux Mint 21.1, auf das Notebook installierte, habe ich eine größere SSD aus meinem Fundus verbaut. Danach noch die Bootreihenfolge geändert und versucht, ein "aktuelleres" Bios zu installieren. Installiert war die Version 1.09.