[mariuolo]

> With upstream coreboot support, one could build the firmware.

I remember building it, see https://github.com/pcengines .