ACPI: replace acpi_integer by u64