acpi_device: Make integer array input variable const

An array of 64bit integers is passed to acpi_dp_add_integer_array() but
it is not const so can't take a const array without a compiler error.

The function does not modify the array so it can be made const without
breaking anything and allowing a const array to be passed in the future.

BUG=b:146482091

Signed-off-by: Duncan Laurie <dlaurie@google.com>
Change-Id: I98ecdaef5ddfa2026390e2812f5ea841ee51f073
Reviewed-on: https://review.coreboot.org/c/coreboot/+/40882
Reviewed-by: Furquan Shaikh <furquan@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>

src/arch/x86/acpi_device.c

@@ -879,7 +879,7 @@ struct acpi_dp *acpi_dp_add_array(struct acpi_dp *dp, struct acpi_dp *array)
 }
 
 struct acpi_dp *acpi_dp_add_integer_array(struct acpi_dp *dp, const char *name,
-					  uint64_t *array, int len)
+					  const uint64_t *array, int len)
 {
 	struct acpi_dp *dp_array;
 	int i;

src/arch/x86/include/arch/acpi_device.h

@@ -482,7 +482,7 @@ struct acpi_dp *acpi_dp_add_array(struct acpi_dp *dp, struct acpi_dp *array);
 
 /* Add an array of integers Device Property */
 struct acpi_dp *acpi_dp_add_integer_array(struct acpi_dp *dp, const char *name,
-					  uint64_t *array, int len);
+					  const uint64_t *array, int len);
 
 /* Add a GPIO binding Device Property */
 struct acpi_dp *acpi_dp_add_gpio(struct acpi_dp *dp, const char *name,