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

[Arthur Heymans (Code Review)]

Attention is currently required from: Felix Held, Kyösti Mälkki, Lance Zhao, Lean Sheng Tan, Nico Huber, Tim Wawrzynczak.

Hello Felix Held, Lance Zhao, Lean Sheng Tan, Nico Huber, Tim Wawrzynczak, build bot (Jenkins),

I'd like you to reexamine a change. Please visit

https://review.coreboot.org/c/coreboot/+/76179?usp=email

to look at the new patch set (#6).

The following approvals got outdated and were removed:
Code-Review+2 by Lean Sheng Tan, Verified+1 by build bot (Jenkins)

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

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

Signed-off-by: Arthur Heymans 
Change-Id: I84ab0068e8409a5e525ddc781347087680d80640
---
M src/acpi/acpi.c
1 file changed, 10 insertions(+), 6 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/79/76179/6