diff --git a/kernel/kernel/config-amd64 b/kernel/kernel/config-amd64
index 7f2749e8..a4d7d6d9 100644
--- a/kernel/kernel/config-amd64
+++ b/kernel/kernel/config-amd64
@@ -1613,6 +1613,7 @@ CONFIG_OPENVSWITCH_VXLAN=y
 CONFIG_VSOCKETS=y
 CONFIG_VSOCKETS_DIAG=y
 CONFIG_VSOCKETS_LOOPBACK=y
+# CONFIG_VMWARE_VMCI_VSOCKETS is not set
 CONFIG_VIRTIO_VSOCKETS=y
 CONFIG_VIRTIO_VSOCKETS_COMMON=y
 # CONFIG_HYPERV_VSOCKETS is not set
@@ -1903,6 +1904,7 @@ CONFIG_NVME_TCP=y
 # CONFIG_SENSORS_APDS990X is not set
 # CONFIG_HMC6352 is not set
 # CONFIG_DS1682 is not set
+CONFIG_VMWARE_BALLOON=y
 # CONFIG_SRAM is not set
 # CONFIG_PCI_ENDPOINT_TEST is not set
 # CONFIG_XILINX_SDFEC is not set
@@ -1933,7 +1935,7 @@ CONFIG_NVME_TCP=y
 # CONFIG_INTEL_MEI_ME is not set
 # CONFIG_INTEL_MEI_TXE is not set
 # CONFIG_INTEL_MEI_HDCP is not set
-# CONFIG_VMWARE_VMCI is not set
+CONFIG_VMWARE_VMCI=y
 # CONFIG_GENWQE is not set
 # CONFIG_ECHO is not set
 # CONFIG_MISC_ALCOR_PCI is not set