Notes to Self
Alex Sokolsky's Notes on Computers and Programming
Lenovo Thinkpad P52
BIOS
During the boot up press F1 when logo is displayed.
Thunderbolt
Update Thunderbolt firmware with Powershell
Thunderbolt 3.0 on ThinkPad P52 - More info in comment