| CONFIG_IKCONFIG=y |
| CONFIG_TYPEC_TCPM=n |
| CONFIG_TYPEC_TCPCI=n |
| CONFIG_ANDROID_PARANOID_NETWORK=n |
| CONFIG_BRCMFMAC=n |
| CONFIG_BRCMFMAC_SDIO=n |
| CONFIG_BRCMUTIL=n |
| CONFIG_BUILD_ARM_APPENDED_DTB_IMAGE=n |
| CONFIG_KERNEL_GZIP=y |
| CONFIG_KERNEL_LZO=n |
| CONFIG_REGULATOR_BD71837=y |
| CONFIG_MFD_BD71837=y |
| CONFIG_LOG_BUF_SHIFT=17 |
| CONFIG_WLAN=y |
| CONFIG_ATH10K=y |
| CONFIG_ATH10K_PCI=y |
| CONFIG_ATH10K_AHB=y |
| CONFIG_ATH10K_DEBUGFS=y |
| CONFIG_I2C=y |
| CONFIG_I2C_CHARDEV=y |
| CONFIG_SND_SOC_FSL_ASOC_CARD=y |
| CONFIG_SND_SOC_RT5645=y |
| CONFIG_SND_SOC_RT5631=y |
| CONFIG_SND_SOC_RL6231=y |
| CONFIG_MFD_BD71837=y |
| CONFIG_REGULATOR_BD71837=y |
| CONFIG_MXC_CAMERA_OV5645_MIPI_V2=y |
| CONFIG_SPI_IMX=y |
| # CONFIG_REGULATOR_ISL91301 is not set |
| CONFIG_PCIEASPM_POWERSAVE=y |