I'd considering x86 in their environment but never anything I can't immediately port somewhere else.
Stock ARM maybe. Anything boutique? Nope.