Set ACPI io and physical address to 32 bit on 32 bit arch.

This is temporary fix, our ACPI.h header needs a review, and perhaps
a better approach.

src/add-ons/kernel/bus_managers/acpi/acpica/include/platform/achaiku.h

@@ -146,6 +146,10 @@ struct mutex;
 #define ACPI_MACHINE_WIDTH          64
 #else
 #define ACPI_MACHINE_WIDTH          32
+/* TODO: Temporary fix for #12377
+    Use 32 bit addresses to match addr_t for now.
+*/
+#define ACPI_32BIT_PHYSICAL_ADDRESS
 #endif