I’m not sure what is up with this driver, if there are now two versions of this UEFI driver source, or if this is a fork. But new network support outside of Tianocore tree is rare enough.
https://github.com/chr15p/bcmgenet_rhel8
See-also:
https://rpi4-uefi.dev/