[PATCH] i386: remove duplicate printk