Re: [U-Boot] [PATCH 6/6] armv8: Allow SoCs to override the generic timer