You'd have to ask them. They could make it just as easy. These used PC's are cheap, plentiful, and far more capable than RPi's so the appliance OS vendors really should focus more on this target.
Some used laptop models can use two internal SSD's and 32GB RAM. This example sounds a little too broken to use as a comfortable laptop anymore but it probably would be fine as a home server. I'd pay max $120 for this one. I already have a pile of this and similar models. I can't get rid of them fast enough.
Used tiny PC or laptops, upgrade the firmware, upgrade the RAM and buy new disks. Those make far faster and more reliable nodes than RPi's.
