kernel/acpi: ACPI_INTEGER is obsolete since 20100121 (replaced with UINT64).
kernel/ral: Clean up a mis-delete I did.