Re: [PATCH 01/10] arm: arch_timer: Add timer_early functions