[coreboot-gerrit] Patch set updated for coreboot: c875358 Add grub.cfg