CONFIG_TARGET_x86=y
CONFIG_TARGET_x86_kvm_guest=y
CONFIG_VDI_IMAGES=y
CONFIG_VMDK_IMAGES=y