correct config.mk since X86-reduce now supports VMX/SVM
2 files changed