ACPICA: Remove obsolete ACPI_INTEGER (acpi_integer) type