They already have established that they are not locked to ARM with the recent Pico device.

Pico is based on two ARM Cortex M0+ CPUs.