da081d
- Update config files: Enable printk timestamping. It can be disabled at boot time with printk.time=0.