Re: [PATCH v2 0/2] AM64: Tick timer fixes