Merge branch 'timers/drivers/armv8.6_arch_timer' of https://git.linaro.org/people...