[S] Change in coreboot[main]: acpi: Add support for DRHD size reporting

[Shuo Liu (Code Review)]

Attention is currently required from: Arthur Heymans, Chen, Gang C, Christian Walter, Cliff Huang, Dinesh Gehlot, Eran Mitrani, Jakub Czapiga, Jeff Daly, Jincheng Li, Johnny Lin, Jonathan Zhang, Kapil Porwal, Lance Zhao, Lean Sheng Tan, Nick Vaccaro, Nico Huber, Patrick Rudolph, Paul Menzel, Sean Rhodes, Subrata Banik, Tarun, Tim Chu, Tim Wawrzynczak, Vanessa Eusebio, Werner Zeh.

Shuo Liu has posted comments on this change by Shuo Liu. ( https://review.coreboot.org/c/coreboot/+/82429?usp=email )

Change subject: acpi: Add support for DRHD size reporting
......................................................................

Patch Set 17:

(1 comment)

File src/include/acpi/acpi.h:

https://review.coreboot.org/c/coreboot/+/82429/comment/4f7c9406_7ba99219?usp... :
PS16, Line 1855: u32
> I mean the change to `_64`.

Just to match size_t which could be 64bit when coreboot is 64bit, though there are asserts to make sure a meaningful size will not exceeding 32bits, a.k.a., a double safe setting.