Für das X13 Gen1 gibt's ein Bios-Update. Changelog:

CHANGES IN THIS RELEASE
 Version 1.37
 
[Important updates]
N/A

[New functions or enhancements]
- Add back flash prevention that can't rollback to older BIOS version.
- Add workaround that display not light up and system hang up when connect monitor with ThinkPad Docking Station.

[Problem fixes]
- Fixed the problem of three resets caused by the change of setup AMD V(TM) Technology options.
- Fixed an issue that TrackPoint does not restore sensitivity levels after sleep.

Aktualisieren geht wie sonst auch, Iso herunterladen, Image extrahieren z.B. mit geteltorito und auf einen USB Stick schreiben, davon booten.

geteltorito -o bios.img r1cuj68wd.iso
sudo dd if=bios.img of=/dev/sdX