Re: [PATCH] timer: Kconfig: add clint timer support