[S] Change in coreboot[main]: soc/intel/xeon_sp/spr: Enable x86_64 support

[Nico Huber (Code Review)]

Attention is currently required from: Arthur Heymans, Christian Walter, Johnny Lin, Lean Sheng Tan, Patrick Rudolph, Shuo Liu, Tim Chu.

Nico Huber has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/81280?usp=email )

Change subject: soc/intel/xeon_sp/spr: Enable x86_64 support
......................................................................

Patch Set 1: Code-Review+1

(2 comments)

File src/soc/intel/xeon_sp/uncore_acpi.c:

https://review.coreboot.org/c/coreboot/+/81280/comment/a9c5efb5_e7f834ba :
PS1, Line 459: l
For size_t: `z`. But I don't understand the cast TBH. Wouldn't `l` work for uintptr_t?

https://review.coreboot.org/c/coreboot/+/81280/comment/7fbc3fa4_f87d827f :
PS1, Line 473: }
Btw. does somebody know what this RMRR entry is about? A workaround for edk2?
(I doubt SeaBIOS is involved and it doesn't seem platform specific)