efi_loader: guard against double inclusion of efi_loader.h