[coreboot-gerrit] [M] Change in coreboot[main]: soc/amd/common/psp: consistently use uint[8,16,32,64]_t data types