[transpute]

Yes, they rarely appear on eBay.

With upstream coreboot support, one could build the firmware.

[mariuolo]

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

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