[XS] Change in coreboot[main]: acpi.c: Fix generating pointer to cb_tables located >4G

[Arthur Heymans (Code Review)]

Attention is currently required from: Angel Pons, Benjamin Doron, Eric Lai, Felix Held, Lance Zhao, Maximilian Brune, Tim Wawrzynczak.

Arthur Heymans has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/76181?usp=email )

Change subject: acpi.c: Fix generating pointer to cb_tables located >4G
......................................................................

Patch Set 4:

(1 comment)

File src/acpi/acpi.c:

https://review.coreboot.org/c/coreboot/+/76181/comment/af3a66af_a751d56b :
PS4, Line 301: 	if (base < UINT32_MAX)
> Actually, shouldn't we check `base + size <= UINT32_MAX` instead? Otherwise, there will be problems when cbtables cross the 4 GiB boundary.

ACPI only specifies that base and length need to be 32bit value, not that the whole range needs to be in a 4G segment.