x86: trivial printk optimizations