[PATCH 3/4] Convert CONFIG_TIMESTAMP to Kconfig