So, you want to update the bios of your lenovo x250 by downloading this iso from that page?
Read this readme.
But also read the following lines. Lenovo missed "just some little facts".
First of all, I was not able to dump that iso to an usb stick by using dd.
Secondly and most importatn, you have to go in your bios setup and change your boot up way from "legacy" to "uefi".
After you have done that, your burned optical disk will boot up and you can finally upgrade your bios.
So, this is a short story telling about the journey of an arch linux installation on an HP 2530p.
The mission was clear, <https://wiki.archlinux.org/index.php/GPT" title="arch linux gpt">GPT, LVM and LUKS. The problem was the BIOS in the HP 2530p.
To keep it short, don't trust the documents, simple install a hybrid gpt/mbr), or follow my howto.
The so called documented UEFI boot is only working with windows but not with other UEFI systems. If you simple install a GPT without a hybrid MBR, you won't get a working system disk.