del printk time option