disable CONFIG_PRINTK_TIME