I don't have anything useful to add to your other comments, but:
On 08/12/2017 02:11 PM, Tollef Fog Heen wrote:
> ]] Christian Seiler
>>> [free CPU designs]
>>> (although I'm sure there are...)
>> There are, take a look at RISC-V, for example.  And for the
>> requirement about not requiring non-free software, you don't need
>> to have a fully free CPU design, just one where the microcode is
>> free. And I believe that current POWER CPUs fall under that
>> category. (I may be wrong though.)
> Doesn't help if it's not packaged in Debian, though.
Well, if I'm not wrong about POWER, that's supported in Debian
as a release arch (ppc64el).