BenTheTechGuy [1] filed a deletion request for avmf-bin [2]: edk2-arm, now out of extra, finally provides the ARMv7 UEFI firmware that this package did, so this package is no longer needed.
[1] https://aur.archlinux.org/account/BenTheTechGuy/ [2] https://aur.archlinux.org/pkgbase/avmf-bin/
