[coreboot-gerrit] [S] Change in coreboot[main]: soc/intel/cmn/acpi: Add support for `PCR_BASE_ADDRESS` above 4 GiB