Re: [U-Boot] [PATCH 4/5] arm: add support for arch timer