[PATCH 4.20 05/92] ACPI: NUMA: Use correct type for printing addresses on i386-PAE