Current Intel server chipsets include a built-in "efi-shell" which appears to basically be a simplified 'NIX with a command set suitable for manipulating some nifty UEFI boot options.
It is also the case that some of Intel's firmware upgrade tools now require "efi-shell" to run.
Sadly, I do not have a server chipset even though this board does support UEFI booting.
The efi-shell can be downloaded from http://www.sourceforge.net/projects/efi-shell. However, I can find no bootable ISO or any other form of bootable image.
I have attempted to make a bootable flash with unetbootin
with no success.
Any thoughts on how I might make a copy of efi-shell bootable so I can run the Intel firmware upgrade on my RAID card?