the following patch was just integrated into master: commit 8f3aaa8a4c84b3fc18bee57219b8e2927e996808 Author: Kyösti Mälkki <kyosti.malkki@gmail.com> 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 <kyosti.malkki@gmail.com> Reviewed-on: https://review.coreboot.org/14823 Tested-by: build bot (Jenkins) Reviewed-by: Aaron Durbin <adurbin@chromium.org> See https://review.coreboot.org/14823 for details. -gerrit