microblaze: Prefer to use pr_XXX instead of printk(KERN_XX)