CONFIG_BLK_DEV_SD=y
CONFIG_FUSION=y
CONFIG_FUSION_SPI=y
+CONFIG_DRM_VMWGFX=y
+CONFIG_DRM_VMWGFX_FBCON=y
CONFIG_VMWARE_BALLOON=m
CONFIG_VMWARE_VMCI=m
CONFIG_VMWARE_VMCI_VSOCKETS=m
CONFIG_SND_ENS1371=m
-# vmwgfx doesn't yet work with AGL. If you can fix it, please change this!
-CONFIG_DRM_VMWGFX=n
-CONFIG_DRM_VMWGFX_FBCON=n