ACPI: replace acpi_integer by u64
This page took 1.417349 seconds and 4 git commands to generate.