My X13 Gen 2 AMD goes to BIOS setup when hitting F1, just like other Thinkpads I've had.