ARM: 7415/1: vfp: convert printk's to pr_*'s