[coreboot-gerrit] New patch to review for coreboot: c30fbe9 src/device/Kconfig: make help for VGA_BIOS_ID and PXE_ROM_ID more similar