Vorneweg: das ganze trat wenige Tage nach einem BIOS Update auf, bei dem mehrere Versionen übersprungen wurden, momentan ist 1.27 installiert. Falls wenig Zeit, bitte zu aktuellem Stand springen. Vor einigen Tagen hat sich der X250 unter Linux einfach abgeschaltet und einen reboot eingeleitet...