There's a page on the FSF site[0] where they give some pointers on the kind of support the various SoCs have, but it's very terse.
For the records, I have an Odroid C1 that's collecting dust on a drawer...
[0] https://www.fsf.org/resources/hw/single-board-computers