[coreboot-gerrit] New patch to review for coreboot: soc/intel/broadwell: Add vmx support via Kconfig option