[U-Boot] [U-Boot, 7/8] rockchip: rk3128: use ARM arch timer instead of rk_timer

[Philipp Tomsich]

> We prefer to use ARM arch timer instead of rockchip timer, so that
> we are using the same timer for SPL, U-Boot and Kernel, which will
> make things simple and easy to track to boot time.
> 
> Signed-off-by: Kever Yang <kever.yang at rock-chips.com>
> ---
> 
>  arch/arm/mach-rockchip/Makefile       | 6 ------
>  arch/arm/mach-rockchip/rk3128-board.c | 2 --
>  include/configs/rk3128_common.h       | 6 +++---
>  3 files changed, 3 insertions(+), 11 deletions(-)
> 

Reviewed-by: Philipp Tomsich <philipp.tomsich at theobroma-systems.com>