Up until a couple of days ago, it seems neither did the MK802 (not sure it's available now ...)
And within 3 months, RaspPi's availability is supposed to be mostly solved as well. I think the wait is more than worth it for the echo system that it has and is collecting in the meantime.