At this time we're not able to enable Phalcon on our system PHP setup.
The problem is that it's got some dependencies that cause problems with other more popular web frameworks, eg it needs the PSR extension which causes issues with Laravel sites. Since enabling those extensions was causing more problems than it was solving, we decide to disable them.
To work around this you can build your own PHP from source with whatever features you need. Instructions for this are available at: HOWTO run a custom PHP build on Opalstack
Hope this helps 🙂