While working through the EDK source to figure out how the modular system of DUET works, and testing OS_Ninja's bootloader on a few other computers I have concluded that he did not add support for the X58 northbridge and i7 processors. Core and Core 2 chips are entirely functional though. Besides, Gigabyte just released it's hybrid EFI beta for the GA-X58A-UD3R so it should be able to run a boot.efi if I mess around with it a bit .