s390 defconfig uses the same value default value for CONFIG_LOG_BUF_SHIFT (currently 17), which is the same as other s390 configs, which enable CONFIG_PRINTK_TIME. There is no need to have it disabled for defconfig. Signed-off-by: Petr Vorel <pvorel@xxxxxxx> --- arch/s390/defconfig | 1 + 1 file changed, 1 insertion(+) diff --git a/arch/s390/defconfig b/arch/s390/defconfig index 7cb6a52f727d..646244a6885d 100644 --- a/arch/s390/defconfig +++ b/arch/s390/defconfig @@ -248,3 +248,4 @@ CONFIG_CRC7=m # CONFIG_XZ_DEC_ARMTHUMB is not set # CONFIG_XZ_DEC_SPARC is not set CONFIG_CMM=m +CONFIG_PRINTK_TIME=y -- 2.12.3