RE: [PATCH v6 0/3] Timer support for ARM Tegra