I will note that in theory there's the Radxa Cubie A7S, but that's unobtainium. Or I'd have bought three by now.

I switched from SBC to thin clients. You get the Dell wyse 5070 for 50 euros in my country and it has USB c dp alt mode and much more.