[coreboot-gerrit] Patch merged into coreboot/master: b2a14fb intel/haswell: add vmx support w/Kconfig option