tags 494457 wontfix thanks We don't consider disabled PRINTK_TIME. You can always disable this on the command line. Bastian -- There is an order of things in this universe. -- Apollo, "Who Mourns for Adonais?" stardate 3468.1