[coreboot-gerrit] Patch merged into coreboot/master: configs/builder: Remove pre-defined VGA bios file

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 5c765ceff9060d11e7b3b712528ad65ba0149dac
Author: Philipp Deppenwiese <zaolin at das-labor.org>
Date:   Thu Jan 19 22:43:45 2017 +0100

    configs/builder: Remove pre-defined VGA bios file
    
    Removes the pre-defined VGA bios file and id because
    the build system includes every vgabios.
    
    Also make the VGA output primary by default
    
    Change-Id: I87d52ef2d1e151c6e54beba64316fe9043668158
    Signed-off-by: Philipp Deppenwiese <zaolin at das-labor.org>
    Reviewed-on: https://review.coreboot.org/18181
    Reviewed-by: Martin Roth <martinroth at google.com>
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>


See https://review.coreboot.org/18181 for details.

-gerrit