# CONFIG_RESET_TI_SCI is not set