acpi/acpi.c: Change signature of write_acpi_tables

The argument is copied into current and is never modified.

Signed-off-by: Arthur Heymans <arthur@aheymans.xyz>
Change-Id: I3084e43ccbe9749bc726af3120decfe8b52e1709
Reviewed-on: https://review.coreboot.org/c/coreboot/+/75902
Reviewed-by: Lean Sheng Tan <sheng.tan@9elements.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
diff --git a/src/acpi/acpi.c b/src/acpi/acpi.c
index 78135d79..ce14538 100644
--- a/src/acpi/acpi.c
+++ b/src/acpi/acpi.c
@@ -1854,7 +1854,7 @@
 	printk(BIOS_SPEW, "\n");
 }
 
-unsigned long write_acpi_tables(unsigned long start)
+unsigned long write_acpi_tables(const unsigned long start)
 {
 	unsigned long current;
 	acpi_rsdp_t *rsdp;