Ich hatte mir eben ein gebrauchtes, aber sehr gut erhaltenes Thinkpad x131e gekauft (kein Chromebook). Es läuft einwandfrei mit einem aktuellen Linux-System. Mehr aus Gewohnheit wollte ich das letzte BIOS-Update einspielen. Sowohl über eine Boot-CD als auch von Windows aus mit dem...