[coreboot-gerrit] Patch merged into coreboot/master: 1c8f2a6 veyron*: select VIRTUAL_DEV_SWITCH