Looks like efi for raspi3 is upstream now: https://github.com/tianocore/edk2-platforms/tree/master/Platform/RaspberryPi/RPi3