# CONFIG_STM32_RPROC is not set