src: Use ACPI macros

Change-Id: I2cf11b784299708f02fd749dcb887b6d25f86f5b
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/43552
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>

src/acpi/acpi.c

@@ -752,7 +752,7 @@ void acpi_create_hpet(acpi_hpet_t *hpet)
 	header->revision = get_acpi_table_revision(HPET);
 
 	/* Fill out HPET address. */
-	addr->space_id = 0; /* Memory */
+	addr->space_id = ACPI_ADDRESS_SPACE_MEMORY;
 	addr->bit_width = 64;
 	addr->bit_offset = 0;
 	addr->addrl = CONFIG_HPET_ADDRESS & 0xffffffff;