> they all have the smallest SoC option (I'd guess it's the only one
> that could be bought at non insane prices in such low volumes)

Actually, the smallest pin-compatible one would have been the dual-core T1022.