Загрузка в режиме EFI на плате Intel DP35DP

Многие из обладателей интеловских плат (DP35DP, DX38BT, BadAxe2 и пр.) слышали или читали о поддержке UEFI, но воспользоваться этим способом загрузки было не просто. Здесь я приведу детальное руководство для всех желающих поэкспериментировать в этой области.
На самом деле, на этих платах EFI (точнее, x64 UEFI) конечно же есть, но с двумя упущениями: полностью отсутствует консоль (shell) и... поддержка режима AHCI. Последнее особенно странно, учитывая, что в CSM («эмулятор» биоса, через который мы обычно работаем) эта поддержка реализована. Возможно, в более современных биосах или платах на P45 или X58 она и добавилась, но на моей DP35DP с bios 0517 ее нету.

Все дальнейшее описание производится для операционных систем типа FreeBSD или Mac OS X. Впрочем, найти руководство по работе с разделами GPT EFI под Windows при помощи diskpart совсем несложно. Много полезного содержится, например, тут. Итак приступим:

1. монтируем efi-раздел (для загрузки в EFI необходим GPT-диск!):
sudo mkdir /Volumes/EFI
sudo mount -t msdos /dev/disk0s1 /Volumes/EFI

2. кидаем в него shell в папке /efi/boot/ (например этот, от Tianocore EDK) или любой другой efi-модуль, названный bootx64.efi (этот путь обязателен: /efi/boot/bootx64.efi!) и имеющий x64-архитектуру.

3. перезагружаемся и переключаем контроллер в ide-режим, сохраняем настройки и заходим в экран Boot Options (F10).
Должна получится примерно такая картина (Windows Boot Manager не в счет — запись в nvram осталась в наследство от давно снесенной висты):

4. выбираем «Internal EFI Shell — Hard Drive» и грузим наш efi-shell (или что-нить другое). Если надпись не появляется, система виснет при загрузке или возвращается обратно в boot options — обновите биос (у меня на 0517 все гарантировано работает, на 03ХХ и 04ХХ были проблемы) и убедитесь в том, что загрузочный efi-файл имеет архитектуру x64.

5. ура, мы в консоли: