CONFIG_CS5535_GPIO=m
# CONFIG_RAW_DRIVER is not set
# CONFIG_HPET is not set
-CONFIG_HANGCHECK_TIMER=m
+CONFIG_HANGCHECK_TIMER=y
#
# TPM devices
CONFIG_VSERVER_FILESHARING=y
# CONFIG_VSERVER_AUTO_LBACK is not set
# CONFIG_VSERVER_AUTO_SINGLE is not set
-# CONFIG_VSERVER_COWBL is not set
+CONFIG_VSERVER_COWBL=y
# CONFIG_VSERVER_VTIME is not set
# CONFIG_VSERVER_DEVICE is not set
# CONFIG_VSERVER_PROC_SECURE is not set