GNU/Linux EFI boot for Lenovo ThinkPad x230

Get the system to boot

The EFI file should be located in <EFI partition>/EFI/boot/bootx64.efi , so copy the EFI file installed by the GNU/Linux distribution (for exemple, <EFI partition>/EFI/ubuntu/grubx64.efi in Ubuntu 16.04) to the proper location, and your system will boot.

[Someone else is editing this]

You are editing this file