CONFIG_TARGET_x86=y
CONFIG_TARGET_x86_64=y
CONFIG_TARGET_x86_64_Generic=y
CONFIG_TARGET_EXT4_JOURNAL=y
CONFIG_TARGET_ROOTFS_TARGZ=y
CONFIG_KERNEL_PAGE_TABLE_ISOLATION=y
CONFIG_PACKAGE_open-vm-tools=m
CONFIG_PACKAGE_kmod-ath9k=y
CONFIG_GRUB_IMAGES=y
CONFIG_EFI_IMAGES=y
# CONFIG_VMDK_IMAGES is not set