Re: [U-Boot] [PATCH] ARM/VExpress: fix timer address for TC2 and other VExpress models