[hspak]

For my Thinkpad X1 Carbon (Gen 5), I download the ISOs from here: https://pcsupport.lenovo.com/us/en/products/laptops-and-netb...

And I use my re-write of geteltorio to flash it on a USB drive: https://github.com/hspak/geteltorito-zig

I've done this multiple times now without issues, but your milage by vary!