# CONFIG_ARCH_STM32 is not set