Re: [PATCH v1 2/3] drivers: timer: add timer driver for ARMv7 based Tegra devices