diff --git a/grub-core/net/drivers/efi/efinet.c b/grub-core/net/drivers/efi/efinet.c
index eb1e682fa..a879decdb 100644
--- a/grub-core/net/drivers/efi/efinet.c
+++ b/grub-core/net/drivers/efi/efinet.c
@@ -282,7 +282,7 @@ GRUB_MOD_FINI(efinet)
 	grub_net_card_unregister (card);
 	grub_free (card->txbuf);
 	grub_free (card->rcvbuf);
-	grub_free (card->name);
+	grub_free ((char *)card->name);
 	grub_free (card);
       }
 }