[coreboot-gerrit] Patch merged into coreboot/master: f2fb7d9 src/device/Kconfig: make help for VGA_BIOS_ID and PXE_ROM_ID more similar

the following patch was just integrated into master:
commit f2fb7d916ced44452b6f329d5b407a1c7d48bb4c
Author: Daniele Forsi 
Date:   Thu Jul 17 11:59:41 2014 +0200

src/device/Kconfig: make help for VGA_BIOS_ID and PXE_ROM_ID more similar

Add to VGA_BIOS_ID the hint about lspci -nn and add to PXE_ROM_ID an
    empty line at the end for better readability in menuconfig.

Change-Id: I56751c047c1ff08142e2af58ef3ba5fe1169eba5
    Signed-off-by: Daniele Forsi 
    Reviewed-on: http://review.coreboot.org/6301
    Tested-by: build bot (Jenkins)
    Reviewed-by: Edward O'Callaghan

See http://review.coreboot.org/6301 for details.

-gerrit