>>11
BSDs can use EFI? Since when?
$ locate efi | grep "^/usr/src/sys" | fgrep -v Makefile
/usr/src/sys/arch/arm/arm/undefined.c
/usr/src/sys/arch/arm/include/undefined.h
/usr/src/sys/conf/defines
/usr/src/sys/lib/libkern/arch/hppa/prefix.h
I went to http://uefi.org/ and it says you need a license to implement the standard. That doesn't sound like it would work for Linux either.