There is an updated pull request by betrixed against master on the void-packages repository

https://github.com/betrixed/void-packages master
https://github.com/void-linux/void-packages/pull/26038

phalcon 4.1.0 requires psr
xbps-src built templates to add Phalcon  php extension.  php 7.4.
Extra extensions for package  php. Build uses php-devel for toll phpize  
only tested on current php 7.4.11
Package template files for
php-psr -  interface definitions from PHP-FIG, prequisite for phalcon extension.
php-phalcon - version 4.1.0 (latest) compiled website framework, using generated C-source from zephir tool


A patch file from https://github.com/void-linux/void-packages/pull/26038.patch is attached