hw/acpi : Don't use '#' flag of printf format