CONFIG_TARGET_x86=y CONFIG_X86_USE_GRUB2=y CONFIG_X86_VDI_IMAGES=y CONFIG_X86_VMDK_IMAGES=y