[coreboot-gerrit] New patch to review for coreboot: 109d6e5 haswell boards: Enable VIRTUAL_DEV_SWITCH