Supposedly efi support is added to the Linux tools but I don't know how to compile an efi 

version.

Thanks,

shubha