[coreboot-gerrit] Patch set updated for coreboot: a3b1e83 haswell boards: Enable VIRTUAL_DEV_SWITCH