[Linaro-acpi] [PATCH 3/3] ACPI: ARM: use pr_debug() as one should and not printk()