Re: [PATCH 2/2] armv8: generic_timer: Use event stream for udelay