Support creating EFI programs

[LeifW]

Apparently you just write a C program with an efi_main() that links against EFI libs: http://www.rodsbooks.com/efi-programming/hello.html

This way I could execute an Idris application from the boot loader, sitting there next to a linux kernel. Was picturing doing unikernel apps this way.

Would that arduino rts .c file be a good start for an entry point?