ARM: 7415/1: vfp: convert printks to pr_*s