# Turn on timestamps for printk messages
echo 1 >/sys/module/printk/parameters/time

# Turn off console printk's
# echo 1 > /proc/sys/kernel/printk
