[coreboot-gerrit] [XS] Change in coreboot[main]: arch/x86/mpspec: Use uintptr_t for mpc_apicaddr