[PATCH] Provide better printk() support for SMP machines