[PATCH] kconfig: PRINTK_TIME depends on PRINTK