[coreboot-gerrit] Patch merged into coreboot/master: Fix leaking CONFIG_VGA=y

the following patch was just integrated into master:
commit 8f3aaa8a4c84b3fc18bee57219b8e2927e996808
Author: Kyösti Mälkki 
Date:   Mon May 16 14:49:57 2016 +0300

Fix leaking CONFIG_VGA=y

Items under DEVICE_SPECIFIC_OPTIONS got selected without
    the driver being selected.

Change-Id: I1797fa6175620a9291873559a6308eaea85a090e
    Signed-off-by: Kyösti Mälkki 
    Reviewed-on: https://review.coreboot.org/14823
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin

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

-gerrit