[S] Change in coreboot[master]: acpi.c: Fill in >4G FADT entries correctly

[Kyösti Mälkki (Code Review)]

Attention is currently required from: Arthur Heymans, Felix Held, Lance Zhao, Nico Huber, Tim Wawrzynczak.

Kyösti Mälkki has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/76179?usp=email )

The change is no longer submittable: All-Comments-Resolved is unsatisfied now.

Change subject: acpi.c: Fill in >4G FADT entries correctly
......................................................................

Patch Set 5:

(2 comments)

File src/acpi/acpi.c:

https://review.coreboot.org/c/coreboot/+/76179/comment/0682a001_7a602884 :
PS5, Line 1092: 		fadt->x_firmware_ctl_h = (uint32_t)((uint64_t)(uintptr_t)facs >> 32);
Wouldn't write shift work here without warnings with just:
 (uintptr_t)facs >> 32

https://review.coreboot.org/c/coreboot/+/76179/comment/c9ab6a87_4e4378db :
PS5, Line 1096: 		fadt->dsdt = (unsigned long)dsdt;
(uintptr_t) for consistency here?