Thanks to a Lenovo BIOS update, I got a crash course on generating a new UEFI config…