efi: Makefile: Export variables for use with EFI