Re: [Hafnium] SPMC and Arm generic timer / counter