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