Change the Kconfig selection rule by letting the STI arch to select
the timer.
Signed-off-by: NDaniel Lezcano <daniel.lezcano@linaro.org>
Acked-by: NMaxime Coquelin <maxime.coquelin@st.com>