-CONFIG_CC_OPTIMIZE_FOR_PERFORMANCE
-CONFIG_KERNEL_GZIP
CONFIG_CC_OPTIMIZE_FOR_SIZE=y
CONFIG_DEFAULT_HOSTNAME="boot2docker"
CONFIG_EFI_STUB=y
CONFIG_IKCONFIG=m
CONFIG_IKCONFIG_PROC=y
CONFIG_KERNEL_XZ=y
CONFIG_KSM=y
CONFIG_LOCALVERSION="-boot2docker"
