#undef CONFIG_PRINTK_TIME