[coreboot-gerrit] Change in coreboot[master]: vc/amd/sb800: Cast variable to 32-bit before shift