Fix printk format warning in clocksource/acpi_pm.c