v7a: barebox-vexpress: slim down config diff

* don't disable common features unnecessarily: enable the features
  BZLIB, FS_FAT_LFN, FS_FAT_WRITE, FS_NFS, HWRNG, I2C, LED,
  LED_TRIGGERS, LZO_DECOMPRESS, MENU, NET_USB*, PINCTRL, REGULATOR, SPI,
  USB, USBGADGET_START, USB_EHCI, USB_GADGET, USB_GADGET_AUTOSTART,
  USB_GADGET_SERIAL, USB_HOST, USB_STORAGE WATCHDOG, XZ_DECOMPRESS,
  ZLIB, and the commands mmuinfo, bootz, clk, cmp, i2c, imd, led,
  trigger, let, ln, memtest, menu, menutree, mm, msleep, of_node,
  of_property, readf, regulator, sha1sum, spi, state, time, usb,
  usbgadget, and wd.
  All of those are enabled in the barebox-common config too, and make
  sense to have on a generic barebox.
* repair compile log level < default log level by using the defaults
* disable unneeded features:
  - CMD_LOADB: no one uses kermit these days

Signed-off-by: Roland Hieber <rhi@pengutronix.de>

2 files changed, 113 insertions, 140 deletions

diff --git a/configs/platform-v7a/barebox-vexpress.config b/configs/platform-v7a/barebox-vexpress.config
index b81adff..6a01bba 100644
--- a/configs/platform-v7a/barebox-vexpress.config
+++ b/configs/platform-v7a/barebox-vexpress.config
@@ -75,6 +75,9 @@ CONFIG_UIMAGE=y
 CONFIG_LOGBUF=y
 CONFIG_STDDEV=y
 CONFIG_BAREBOX_UPDATE=y
+CONFIG_MENUTREE=y
+CONFIG_FILE_LIST=y
+CONFIG_USBGADGET_START=y
 CONFIG_BOOT=y
 
 #
@@ -128,7 +131,7 @@ CONFIG_PROMPT_HUSH_PS2="> "
 CONFIG_HUSH_FANCY_PROMPT=y
 CONFIG_CMDLINE_EDITING=y
 CONFIG_AUTO_COMPLETE=y
-# CONFIG_MENU is not set
+CONFIG_MENU=y
 # CONFIG_PASSWORD is not set
 CONFIG_DYNAMIC_CRC_TABLE=y
 CONFIG_ERRNO_MESSAGES=y
@@ -161,20 +164,27 @@ CONFIG_PARTITION_DISK_DOS=y
 # CONFIG_PARTITION_DISK_EFI is not set
 CONFIG_ENV_HANDLING=y
 CONFIG_DEFAULT_ENVIRONMENT=y
+# CONFIG_DEFAULT_COMPRESSION_GZIP is not set
+# CONFIG_DEFAULT_COMPRESSION_BZIP2 is not set
+# CONFIG_DEFAULT_COMPRESSION_LZO is not set
+# CONFIG_DEFAULT_COMPRESSION_XZ is not set
 CONFIG_DEFAULT_COMPRESSION_NONE=y
 CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW=y
+CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW_MENU=y
 CONFIG_DEFAULT_ENVIRONMENT_PATH=".ptxdist-defaultenv"
 # CONFIG_BAREBOXENV_TARGET is not set
 # CONFIG_BAREBOXCRC32_TARGET is not set
 CONFIG_POLLER=y
-# CONFIG_STATE is not set
+CONFIG_STATE=y
+# CONFIG_STATE_CRYPTO is not set
+# CONFIG_STATE_BACKWARD_COMPATIBLE is not set
 # CONFIG_BOOTCHOOSER is not set
 CONFIG_RESET_SOURCE=y
 
 #
 # Debugging
 #
-CONFIG_COMPILE_LOGLEVEL=6
+CONFIG_COMPILE_LOGLEVEL=7
 CONFIG_DEFAULT_LOGLEVEL=6
 # CONFIG_DEBUG_INFO is not set
 # CONFIG_DEBUG_LL is not set
@@ -197,9 +207,10 @@ CONFIG_CMD_DRVINFO=y
 CONFIG_CMD_HELP=y
 CONFIG_LONGHELP=y
 CONFIG_CMD_IOMEM=y
-# CONFIG_CMD_IMD is not set
+CONFIG_CMD_IMD=y
 CONFIG_CMD_MEMINFO=y
-# CONFIG_CMD_ARM_MMUINFO is not set
+CONFIG_CMD_ARM_MMUINFO=y
+CONFIG_CMD_REGULATOR=y
 CONFIG_CMD_VERSION=y
 # CONFIG_CMD_MMC_EXTCSD is not set
 
@@ -209,9 +220,9 @@ CONFIG_CMD_VERSION=y
 CONFIG_CMD_BOOT=y
 CONFIG_CMD_BOOTM=y
 # CONFIG_CMD_BOOTU is not set
-# CONFIG_CMD_BOOTZ is not set
+CONFIG_CMD_BOOTZ=y
 CONFIG_CMD_GO=y
-CONFIG_CMD_LOADB=y
+# CONFIG_CMD_LOADB is not set
 # CONFIG_CMD_LOADS is not set
 # CONFIG_CMD_LOADY is not set
 CONFIG_CMD_RESET=y
@@ -249,7 +260,7 @@ CONFIG_CMD_CP=y
 CONFIG_CMD_DIGEST=y
 CONFIG_CMD_DIRNAME=y
 CONFIG_CMD_FILETYPE=y
-# CONFIG_CMD_LN is not set
+CONFIG_CMD_LN=y
 CONFIG_CMD_LS=y
 CONFIG_CMD_MD5SUM=y
 CONFIG_CMD_MKDIR=y
@@ -257,7 +268,7 @@ CONFIG_CMD_PWD=y
 CONFIG_CMD_READLINK=y
 CONFIG_CMD_RM=y
 CONFIG_CMD_RMDIR=y
-# CONFIG_CMD_SHA1SUM is not set
+CONFIG_CMD_SHA1SUM=y
 # CONFIG_CMD_SHA224SUM is not set
 # CONFIG_CMD_SHA256SUM is not set
 # CONFIG_CMD_SHA384SUM is not set
@@ -269,9 +280,9 @@ CONFIG_CMD_UNCOMPRESS=y
 #
 CONFIG_CMD_FALSE=y
 CONFIG_CMD_GETOPT=y
-# CONFIG_CMD_LET is not set
-# CONFIG_CMD_MSLEEP is not set
-# CONFIG_CMD_READF is not set
+CONFIG_CMD_LET=y
+CONFIG_CMD_MSLEEP=y
+CONFIG_CMD_READF=y
 CONFIG_CMD_SLEEP=y
 CONFIG_CMD_TEST=y
 CONFIG_CMD_TRUE=y
@@ -295,6 +306,9 @@ CONFIG_CMD_ECHO=y
 CONFIG_CMD_ECHO_E=y
 CONFIG_CMD_EDIT=y
 # CONFIG_CMD_LOGIN is not set
+CONFIG_CMD_MENU=y
+# CONFIG_CMD_MENU_MANAGEMENT is not set
+CONFIG_CMD_MENUTREE=y
 CONFIG_CMD_READLINE=y
 CONFIG_CMD_TIMEOUT=y
 
@@ -307,17 +321,25 @@ CONFIG_CMD_MD=y
 CONFIG_CMD_MEMCMP=y
 CONFIG_CMD_MEMCPY=y
 CONFIG_CMD_MEMSET=y
-# CONFIG_CMD_MEMTEST is not set
-# CONFIG_CMD_MM is not set
+CONFIG_CMD_MEMTEST=y
+CONFIG_CMD_MM=y
 CONFIG_CMD_MW=y
 
 #
 # Hardware manipulation
 #
-# CONFIG_CMD_CLK is not set
+CONFIG_CMD_CLK=y
 CONFIG_CMD_DETECT=y
 CONFIG_CMD_FLASH=y
+CONFIG_CMD_I2C=y
+CONFIG_CMD_LED=y
 # CONFIG_CMD_POWEROFF is not set
+CONFIG_CMD_SPI=y
+CONFIG_CMD_LED_TRIGGER=y
+CONFIG_CMD_USB=y
+CONFIG_CMD_USBGADGET=y
+CONFIG_CMD_WD=y
+CONFIG_CMD_WD_DEFAULT_TIMOUT=0
 
 #
 # Miscellaneous
@@ -326,12 +348,13 @@ CONFIG_CMD_FLASH=y
 CONFIG_CMD_BAREBOX_UPDATE=y
 # CONFIG_CMD_FIRMWARELOAD is not set
 CONFIG_CMD_OF_DUMP=y
-# CONFIG_CMD_OF_NODE is not set
-# CONFIG_CMD_OF_PROPERTY is not set
+CONFIG_CMD_OF_NODE=y
+CONFIG_CMD_OF_PROPERTY=y
 # CONFIG_CMD_OF_DISPLAY_TIMINGS is not set
 # CONFIG_CMD_OF_FIXUP_STATUS is not set
 CONFIG_CMD_OFTREE=y
-# CONFIG_CMD_TIME is not set
+CONFIG_CMD_TIME=y
+CONFIG_CMD_STATE=y
 # CONFIG_CMD_DHRYSTONE is not set
 # CONFIG_CMD_SPD_DECODE is not set
 # CONFIG_CMD_SEED is not set
@@ -372,7 +395,9 @@ CONFIG_PHYLIB=y
 # CONFIG_DRIVER_NET_ARC_EMAC is not set
 # CONFIG_DRIVER_NET_CALXEDA_XGMAC is not set
 # CONFIG_DRIVER_NET_DESIGNWARE is not set
+# CONFIG_DRIVER_NET_ENC28J60 is not set
 # CONFIG_DRIVER_NET_KS8851_MLL is not set
+# CONFIG_DRIVER_NET_MICREL is not set
 CONFIG_DRIVER_NET_SMC911X=y
 # CONFIG_DRIVER_NET_SMC91111 is not set
 
@@ -398,12 +423,22 @@ CONFIG_DRIVER_NET_SMC911X=y
 # MII bus device drivers
 #
 # CONFIG_MDIO_BITBANG is not set
+CONFIG_NET_USB=y
+CONFIG_NET_USB_ASIX=y
+CONFIG_NET_USB_SMSC95XX=y
 
 #
 # SPI drivers
 #
-# CONFIG_SPI is not set
-# CONFIG_I2C is not set
+CONFIG_SPI=y
+CONFIG_I2C=y
+
+#
+# I2C Hardware Bus support
+#
+# CONFIG_I2C_DESIGNWARE is not set
+# CONFIG_I2C_MV64XXX is not set
+# CONFIG_I2C_MUX is not set
 CONFIG_MTD=y
 CONFIG_MTD_WRITE=y
 CONFIG_MTD_OOB_DEVICE=y
@@ -418,6 +453,8 @@ CONFIG_MTD_CONCAT=y
 #
 # Self contained MTD devices
 #
+# CONFIG_MTD_DATAFLASH is not set
+# CONFIG_MTD_M25P80 is not set
 # CONFIG_MTD_DOCG3 is not set
 # CONFIG_MTD_MTDRAM is not set
 CONFIG_DRIVER_CFI=y
@@ -444,8 +481,22 @@ CONFIG_DISK_WRITE=y
 # interface types
 #
 # CONFIG_DISK_INTF_PLATFORM_IDE is not set
-# CONFIG_USB_HOST is not set
-# CONFIG_USB_GADGET is not set
+CONFIG_USB=y
+CONFIG_USB_HOST=y
+CONFIG_USB_EHCI=y
+# CONFIG_USB_XHCI is not set
+# CONFIG_USB_ULPI is not set
+CONFIG_USB_STORAGE=y
+CONFIG_USB_GADGET=y
+CONFIG_USB_GADGET_AUTOSTART=y
+
+#
+# USB Gadget drivers
+#
+# CONFIG_USB_GADGET_DFU is not set
+CONFIG_USB_GADGET_SERIAL=y
+# CONFIG_USB_GADGET_FASTBOOT is not set
+# CONFIG_USB_GADGET_FASTBOOT_SPARSE is not set
 # CONFIG_USB_MUSB is not set
 # CONFIG_VIDEO is not set
 CONFIG_MCI=y
@@ -463,6 +514,7 @@ CONFIG_MCI_WRITE=y
 #
 # CONFIG_MCI_DW is not set
 CONFIG_MCI_MMCI=y
+# CONFIG_MCI_SPI is not set
 CONFIG_HAVE_CLK=y
 CONFIG_CLKDEV_LOOKUP=y
 CONFIG_COMMON_CLK=y
@@ -478,37 +530,56 @@ CONFIG_CLOCKSOURCE_DUMMY_RATE=1000
 #
 # MFD
 #
+# CONFIG_MFD_ACT8846 is not set
+# CONFIG_MFD_DA9053 is not set
+# CONFIG_MFD_DA9063 is not set
+# CONFIG_MFD_LP3972 is not set
+# CONFIG_MFD_MC13XXX is not set
+# CONFIG_MFD_MC34704 is not set
+# CONFIG_MFD_MC9SDZ60 is not set
+# CONFIG_MFD_STMPE is not set
 # CONFIG_MFD_SYSCON is not set
+# CONFIG_MFD_TWL4030 is not set
+# CONFIG_MFD_TWL6030 is not set
 
 #
 # Misc devices
 #
 CONFIG_SRAM=y
+CONFIG_STATE_DRV=y
 CONFIG_DEV_MEM=y
-# CONFIG_LED is not set
+CONFIG_LED=y
+CONFIG_LED_TRIGGERS=y
+# CONFIG_LED_PCA955X is not set
 
 #
 # EEPROM support
 #
+# CONFIG_EEPROM_AT25 is not set
+# CONFIG_EEPROM_AT24 is not set
 
 #
 # Input device support
 #
-# CONFIG_WATCHDOG is not set
+# CONFIG_KEYBOARD_USB is not set
+CONFIG_WATCHDOG=y
+# CONFIG_WATCHDOG_POLLER is not set
+# CONFIG_WATCHDOG_DW is not set
 # CONFIG_PWM is not set
-# CONFIG_HWRNG is not set
+CONFIG_HWRNG=y
 
 #
 # DMA support
 #
 # CONFIG_W1 is not set
-# CONFIG_PINCTRL is not set
+CONFIG_PINCTRL=y
+# CONFIG_PINCTRL_SINGLE is not set
 # CONFIG_NVMEM is not set
 
 #
 # Bus devices
 #
-# CONFIG_REGULATOR is not set
+CONFIG_REGULATOR=y
 # CONFIG_RESET_CONTROLLER is not set
 # CONFIG_RTC_CLASS is not set
 
@@ -545,10 +616,10 @@ CONFIG_FS_EXT4=y
 CONFIG_FS_RAMFS=y
 CONFIG_FS_DEVFS=y
 CONFIG_FS_TFTP=y
-# CONFIG_FS_NFS is not set
+CONFIG_FS_NFS=y
 CONFIG_FS_FAT=y
-# CONFIG_FS_FAT_WRITE is not set
-# CONFIG_FS_FAT_LFN is not set
+CONFIG_FS_FAT_WRITE=y
+CONFIG_FS_FAT_LFN=y
 # CONFIG_FS_BPKFS is not set
 # CONFIG_FS_UIMAGEFS is not set
 # CONFIG_FS_PSTORE is not set
@@ -579,13 +650,19 @@ CONFIG_FS_FAT=y
 #
 CONFIG_PARAMETER=y
 CONFIG_UNCOMPRESS=y
-# CONFIG_ZLIB is not set
-# CONFIG_BZLIB is not set
+CONFIG_ZLIB=y
+CONFIG_BZLIB=y
 # CONFIG_LZ4_DECOMPRESS is not set
 # CONFIG_ZSTD_DECOMPRESS is not set
-# CONFIG_XZ_DECOMPRESS is not set
+CONFIG_XZ_DECOMPRESS=y
+CONFIG_XZ_DEC_X86=y
+CONFIG_XZ_DEC_POWERPC=y
+CONFIG_XZ_DEC_IA64=y
+CONFIG_XZ_DEC_ARM=y
+CONFIG_XZ_DEC_ARMTHUMB=y
+CONFIG_XZ_DEC_SPARC=y
 CONFIG_PROCESS_ESCAPE_SEQUENCE=y
-# CONFIG_LZO_DECOMPRESS is not set
+CONFIG_LZO_DECOMPRESS=y
 CONFIG_FNMATCH=y
 CONFIG_QSORT=y
 # CONFIG_RATP is not set
@@ -605,9 +682,10 @@ CONFIG_CRC32=y
 CONFIG_CRC16=y
 CONFIG_DIGEST=y
 CONFIG_MD5=y
+CONFIG_SHA1=y
 # CONFIG_DIGEST_CRC32_GENERIC is not set
 CONFIG_DIGEST_MD5_GENERIC=y
-# CONFIG_DIGEST_SHA1_GENERIC is not set
+CONFIG_DIGEST_SHA1_GENERIC=y
 # CONFIG_DIGEST_SHA224_GENERIC is not set
 # CONFIG_DIGEST_SHA256_GENERIC is not set
 # CONFIG_DIGEST_SHA384_GENERIC is not set
diff --git a/configs/platform-v7a/barebox-vexpress.config.diff b/configs/platform-v7a/barebox-vexpress.config.diff
index 578d108..c174b57 100644
--- a/configs/platform-v7a/barebox-vexpress.config.diff
+++ b/configs/platform-v7a/barebox-vexpress.config.diff
@@ -5,48 +5,12 @@ CONFIG_ARCH_VEXPRESS=y
 # CONFIG_ARM_SECURE_MONITOR is undefined
 # CONFIG_ARM_SMCCC is undefined
 CONFIG_BOOTM_INITRD=y
-# CONFIG_BZLIB is not set
 # CONFIG_CFI_BUFFER_WRITE is not set
 # CONFIG_CLOCKSOURCE_BCM283X is undefined
-# CONFIG_CMD_ARM_MMUINFO is not set
-# CONFIG_CMD_BOOTZ is not set
-# CONFIG_CMD_CLK is not set
 # CONFIG_CMD_GPIO is undefined
-# CONFIG_CMD_I2C is undefined
-# CONFIG_CMD_IMD is not set
-# CONFIG_CMD_LED is undefined
-# CONFIG_CMD_LED_TRIGGER is undefined
-# CONFIG_CMD_LET is not set
-# CONFIG_CMD_LN is not set
-CONFIG_CMD_LOADB=y
-# CONFIG_CMD_MEMTEST is not set
-# CONFIG_CMD_MENU is undefined
-# CONFIG_CMD_MENUTREE is undefined
-# CONFIG_CMD_MENU_MANAGEMENT is undefined
-# CONFIG_CMD_MM is not set
-# CONFIG_CMD_MSLEEP is not set
-# CONFIG_CMD_OF_NODE is not set
-# CONFIG_CMD_OF_PROPERTY is not set
-# CONFIG_CMD_READF is not set
-# CONFIG_CMD_REGULATOR is undefined
-# CONFIG_CMD_SHA1SUM is not set
-# CONFIG_CMD_SPI is undefined
-# CONFIG_CMD_STATE is undefined
-# CONFIG_CMD_TIME is not set
-# CONFIG_CMD_USB is undefined
-# CONFIG_CMD_USBGADGET is undefined
-# CONFIG_CMD_WD is undefined
-# CONFIG_CMD_WD_DEFAULT_TIMOUT is undefined
 CONFIG_COMMON_CLK_OF_PROVIDER=y
-CONFIG_COMPILE_LOGLEVEL=6
 CONFIG_CONSOLE_ACTIVATE_ALL=y
 # CONFIG_CONSOLE_ACTIVATE_FIRST is not set
-# CONFIG_DEFAULT_COMPRESSION_BZIP2 is undefined
-# CONFIG_DEFAULT_COMPRESSION_GZIP is undefined
-# CONFIG_DEFAULT_COMPRESSION_LZO is undefined
-# CONFIG_DEFAULT_COMPRESSION_XZ is undefined
-# CONFIG_DEFAULT_ENVIRONMENT_GENERIC_NEW_MENU is undefined
-# CONFIG_DIGEST_SHA1_GENERIC is not set
 CONFIG_DRIVER_CFI=y
 CONFIG_DRIVER_CFI_AMD=y
 CONFIG_DRIVER_CFI_BANK_WIDTH_1=y
@@ -54,17 +18,9 @@ CONFIG_DRIVER_CFI_BANK_WIDTH_2=y
 CONFIG_DRIVER_CFI_BANK_WIDTH_4=y
 # CONFIG_DRIVER_CFI_BANK_WIDTH_8 is not set
 CONFIG_DRIVER_CFI_INTEL=y
-# CONFIG_DRIVER_NET_ENC28J60 is undefined
-# CONFIG_DRIVER_NET_MICREL is undefined
 CONFIG_DRIVER_NET_SMC911X=y
 # CONFIG_DRIVER_SPI_GPIO is undefined
-# CONFIG_EEPROM_AT24 is undefined
-# CONFIG_EEPROM_AT25 is undefined
-# CONFIG_FILE_LIST is undefined
 # CONFIG_FIRMWARE_ALTERA_SERIAL is undefined
-# CONFIG_FS_FAT_LFN is not set
-# CONFIG_FS_FAT_WRITE is not set
-# CONFIG_FS_NFS is not set
 # CONFIG_GENERIC_GPIO is undefined
 # CONFIG_GPIOLIB is undefined
 # CONFIG_GPIO_74164 is undefined
@@ -74,89 +30,28 @@ CONFIG_DRIVER_NET_SMC911X=y
 # CONFIG_GPIO_PCA953X is undefined
 # CONFIG_GPIO_PL061 is undefined
 # CONFIG_GPIO_SX150X is undefined
-# CONFIG_HWRNG is not set
-# CONFIG_I2C is not set
 # CONFIG_I2C_ALGOBIT is undefined
-# CONFIG_I2C_DESIGNWARE is undefined
 # CONFIG_I2C_GPIO is undefined
-# CONFIG_I2C_MUX is undefined
-# CONFIG_I2C_MV64XXX is undefined
 # CONFIG_JTAG is undefined
 # CONFIG_KEYBOARD_GPIO is undefined
 # CONFIG_KEYBOARD_QT1070 is undefined
-# CONFIG_KEYBOARD_USB is undefined
-# CONFIG_LED is not set
 # CONFIG_LED_GPIO is undefined
 # CONFIG_LED_GPIO_BICOLOR is undefined
 # CONFIG_LED_GPIO_OF is undefined
 # CONFIG_LED_GPIO_RGB is undefined
-# CONFIG_LED_PCA955X is undefined
-# CONFIG_LED_TRIGGERS is undefined
-# CONFIG_LZO_DECOMPRESS is not set
 # CONFIG_MACH_RPI2 is undefined
 # CONFIG_MACH_RPI3 is undefined
 # CONFIG_MACH_RPI is undefined
 # CONFIG_MACH_RPI_COMMON is undefined
 CONFIG_MACH_VEXPRESS=y
 # CONFIG_MCI_BCM283X is undefined
-# CONFIG_MCI_SPI is undefined
 # CONFIG_MDIO_BUS_MUX_GPIO is undefined
-# CONFIG_MENU is not set
-# CONFIG_MENUTREE is undefined
-# CONFIG_MFD_ACT8846 is undefined
-# CONFIG_MFD_DA9053 is undefined
-# CONFIG_MFD_DA9063 is undefined
-# CONFIG_MFD_LP3972 is undefined
-# CONFIG_MFD_MC13XXX is undefined
-# CONFIG_MFD_MC34704 is undefined
-# CONFIG_MFD_MC9SDZ60 is undefined
-# CONFIG_MFD_STMPE is undefined
-# CONFIG_MFD_TWL4030 is undefined
-# CONFIG_MFD_TWL6030 is undefined
 CONFIG_MTD_CONCAT=y
-# CONFIG_MTD_DATAFLASH is undefined
-# CONFIG_MTD_M25P80 is undefined
-# CONFIG_NET_USB is undefined
-# CONFIG_NET_USB_ASIX is undefined
-# CONFIG_NET_USB_SMSC95XX is undefined
 # CONFIG_OF_GPIO is undefined
 CONFIG_PBL_CONSOLE=y
-# CONFIG_PINCTRL is not set
-# CONFIG_PINCTRL_SINGLE is undefined
 CONFIG_PROMPT="vexpress: "
-# CONFIG_REGULATOR is not set
 # CONFIG_REGULATOR_BCM283X is undefined
 # CONFIG_REGULATOR_FIXED is undefined
 CONFIG_SERIAL_AMBA_PL011=y
-# CONFIG_SHA1 is undefined
-# CONFIG_SPI is not set
 CONFIG_SRAM=y
-# CONFIG_STATE is not set
-# CONFIG_STATE_BACKWARD_COMPATIBLE is undefined
-# CONFIG_STATE_CRYPTO is undefined
-# CONFIG_STATE_DRV is undefined
-# CONFIG_USB is undefined
-# CONFIG_USBGADGET_START is undefined
-# CONFIG_USB_EHCI is undefined
-# CONFIG_USB_GADGET is not set
-# CONFIG_USB_GADGET_AUTOSTART is undefined
-# CONFIG_USB_GADGET_DFU is undefined
-# CONFIG_USB_GADGET_FASTBOOT is undefined
-# CONFIG_USB_GADGET_FASTBOOT_SPARSE is undefined
-# CONFIG_USB_GADGET_SERIAL is undefined
-# CONFIG_USB_HOST is not set
-# CONFIG_USB_STORAGE is undefined
-# CONFIG_USB_ULPI is undefined
-# CONFIG_USB_XHCI is undefined
-# CONFIG_WATCHDOG is not set
 # CONFIG_WATCHDOG_BCM2835 is undefined
-# CONFIG_WATCHDOG_DW is undefined
-# CONFIG_WATCHDOG_POLLER is undefined
-# CONFIG_XZ_DECOMPRESS is not set
-# CONFIG_XZ_DEC_ARM is undefined
-# CONFIG_XZ_DEC_ARMTHUMB is undefined
-# CONFIG_XZ_DEC_IA64 is undefined
-# CONFIG_XZ_DEC_POWERPC is undefined
-# CONFIG_XZ_DEC_SPARC is undefined
-# CONFIG_XZ_DEC_X86 is undefined
-# CONFIG_ZLIB is not set