Patch merged into coreboot/master: 64a7ed6 Add PXE ROM selection to Kconfig menu

the following patch was just integrated into master:
commit 64a7ed6dfae7e8d780930aad153f15e2c48753c3
Author: Siyuan Wang 
Date:   Wed Apr 3 17:02:58 2013 +0800

Add PXE ROM selection to Kconfig menu

Adding a pxe rom manually is inconvenient.
    With this patch, PXE ROM can be added automatically by selecting PXE_ROM in Kconfig.
    I have tested this patch on AMD Parmer and Thatcher with iPXE.
    iPXE would be a boot device in Seabios when pressing F12.
    iPXE works well with coreboot and Seabios.

Change-Id: I2c4fc73fd9ae6c979f0af2290d410935f600e2c8
    Signed-off-by: Siyuan Wang 
    Signed-off-by: Siyuan Wang 
    Reviewed-on: http://review.coreboot.org/3013
    Reviewed-by: Paul Menzel 
    Tested-by: build bot (Jenkins)
    Reviewed-by: Marc Jones 
    Reviewed-by: Ronald G. Minnich

Build-Tested: build bot (Jenkins) at Wed Apr  3 16:04:09 2013, giving +1
Reviewed-By: Marc Jones  at Wed Apr  3 17:04:26 2013, giving +1
Reviewed-By: Ronald G. Minnich  at Wed Apr  3 18:01:44 2013, giving +2
See http://review.coreboot.org/3013 for details.

-gerrit