Lenovo Thinkstation C30 Linux EFI

The key to setting up the TS C30 for Linux is in changing the default efi entry to have the name "Windows Boot Manager".

This is done through the Linux program efibootmgr.