Re: [U-Boot] [U-Boot, 6/8] rockchip: rk3288: use ARM arch timer instead of rk_timer