[coreboot-gerrit] Patch set updated for coreboot: AMD mainboards: Fix 64bit BiosCallOuts.c