[coreboot-gerrit] Change in coreboot[master]: vc/amd/agesa/f16kb: Cast to UINT64 to avoid overflow