Re: [PATCH 02/10] Convert CONFIG_SYS_HZ to Kconfig