Updated make script and fixed errors in the EFI library.