Re: [PATCH v4 21/24] arm/v2m: initialize arch_timers even if v2m_timer is not present