acpi: fix printk format warning