tree dfb8cb33c89b09f88a112aa5f5f190ecb3ef9a36
parent 1c42c42ff6621c44cdc3da39b066e4fc270105ef
author Tim Windelschmidt <tim@monogon.tech> 1722824377 +0200
committer Tim Windelschmidt <tim@monogon.tech> 1722952794 +0000

third_party/gnuefi: fetch gnuefi from GitHub

We only fetch gnuefi from Sourceforge and they mirror we are using is
currently not reachable. Gnuefi is available on GitHub officially since
March 2024, so let's migrate this.

Change-Id: Ied23dc87ae649b689aee242718e1c99e559518e3
Reviewed-on: https://review.monogon.dev/c/monogon/+/3306
Tested-by: Jenkins CI
Reviewed-by: Leopold Schabel <leo@monogon.tech>