[coreboot-gerrit] Patch set updated for coreboot: 89464cc Samsung CPUs: Unify Kconfig