Is anybody buying non-ARM/non-x86 systems nowadays? Seems like a dying market.