# CONFIG_HWSPINLOCK_STM32 is not set