Re: [PATCH v3 2/6] rockchip: move CONFIG_SYS_ARCH_TIMER to Kconfig