Or they could have just meant STM32 is normally synonymous with "typical slow single-core MCU" compared to multi-ghz Cortex SoCs that we see in higher-end devices that run Linux?