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

[Jérémy Compostella (Code Review)]

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

Jérémy Compostella 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:

(2 comments)

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

https://review.coreboot.org/c/coreboot/+/81280/comment/41f2c1c5_213af202 :
PS1, Line 23: #include <stddef.h>
alphabetical order.

https://review.coreboot.org/c/coreboot/+/81280/comment/0bbc5820_4002a8f0 :
PS1, Line 459: l
> For size_t: `z`. But I don't understand the cast TBH. […]

Shouldn't we just be using PRIxPTR ?