ThinkPad P1: Fedora 32 USB boot