Re: [PATCH OLK-6.6 0/1] gic: increase the arch_timer