Re: [PATCH v5 0/3] Timer support for ARM Tegra