# CONFIG_STM_DUMMY is not set