[coreboot-gerrit] Patch set updated for coreboot: 8351c0d src/device/Kconfig: make help for VGA_BIOS_ID and PXE_ROM_ID more similar