Вот так, все достаточно прозрачно и функционально. Если кратко, то алгоритм такой: идет загрузка в shell, выбирается efi-раздел dvd (в моем случае fs4:) и запускается файл /efi/boot/bootx64.efi. Характеристики компа: плата asus p5gc-mx/1333, процессор - pentium e2180.