The RPi is an example of a growing SOC device market, but I did mention as well the enormous install base of older and under-powered devices in general.

I have family in Colombia.