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