Fix a format string for 64-bit generation.

Fix a warning on 64-bit for a length value. Cast to 32-bit since
the length is related to an ACPI table.