Re: [PATCH v6 1/6] arm: mvebu: Don't use CONFIG_TIMER on ARM64