[PATCH 3/3] efi_loader: add definition for efi_main()