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