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