[PATCH v6 5/5] ARM: dts: rockchip: disable arm-global-timer for rk3188

[Heiko Stuebner]

Am Dienstag, 31. Januar 2017, 15:43:16 CET schrieb Alexander Kochetkov:
> The clocksource and the sched_clock provided by the arm_global_timer
> are quite unstable because their rates depend on the cpu frequency.
> 
> On the other side, the arm_global_timer has a higher rating than the
> rockchip_timer, it will be selected by default by the time framework
> while we want to use the stable rockchip clocksource.
> 
> Let's disable the arm_global_timer in order to have the rockchip
> clocksource selected by default.
> 
> Signed-off-by: Alexander Kochetkov <al.kochet at gmail.com>

depending on who is picking that up, they can add my
Reviewed-by: Heiko Stuebner <heiko at sntech.de>

if needed.

Later on we might need to look at the rk3066 as well, as it might have the 
same issue.