CONFIG_TARGET_x86=y
CONFIG_TARGET_x86_64=y
CONFIG_VDI_IMAGES=y
CONFIG_VMDK_IMAGES=y