Fix errors in Makefiles and add a simple example efi program.