With upstream coreboot support, one could build the firmware.
I remember building it, see https://github.com/pcengines .