[armhf] enable I2C_MUX_PCA954x, MMC_SDHCI_PXAV3, AHCI_MVEBU

CONFIG_I2C_MUX is also enabled explicitly, up to now it just happened to
be on because something below MEDIA_SUPPORT selected it (in conjunction
with MEDIA_SUBDRV_AUTOSELECT).

debian/changelog

@@ -1,3 +1,9 @@
+linux (4.5.2-2) UNRELEASED; urgency=medium
+
+  * [armhf] enable I2C_MUX_PCA954x, MMC_SDHCI_PXAV3, AHCI_MVEBU
+
+ -- Uwe Kleine-König <ukleinek@debian.org>  Sun, 01 May 2016 16:13:04 +0200
+
 linux (4.5.2-1) unstable; urgency=medium
 
   * New upstream stable update:

debian/config/armhf/config.armmp

@@ -143,6 +143,7 @@ CONFIG_OMAP_PM_NOOP=y
 ##
 CONFIG_SATA_AHCI_PLATFORM=m
 CONFIG_AHCI_IMX=m
+CONFIG_AHCI_MVEBU=m
 CONFIG_AHCI_SUNXI=m
 CONFIG_AHCI_TEGRA=m
 CONFIG_SATA_HIGHBANK=m
@@ -345,6 +346,11 @@ CONFIG_SENSORS_GPIO_FAN=m
 ##
 CONFIG_HWSPINLOCK_OMAP=m
 
+##
+## file: drivers/i2c/Kconfig
+##
+CONFIG_I2C_MUX=m
+
 ##
 ## file: drivers/i2c/busses/Kconfig
 ##
@@ -364,6 +370,7 @@ CONFIG_I2C_VERSATILE=m
 ## file: drivers/i2c/muxes/Kconfig
 ##
 CONFIG_I2C_ARB_GPIO_CHALLENGE=m
+CONFIG_I2C_MUX_PCA954x=m
 
 ##
 ## file: drivers/iio/Kconfig
@@ -532,6 +539,7 @@ CONFIG_MMC_SDHCI=m
 CONFIG_MMC_SDHCI_PLTFM=m
 CONFIG_MMC_SDHCI_ESDHC_IMX=m
 CONFIG_MMC_SDHCI_TEGRA=m
+CONFIG_MMC_SDHCI_PXAV3=m
 CONFIG_MMC_SDHCI_BCM2835=m
 CONFIG_MMC_OMAP=m
 CONFIG_MMC_OMAP_HS=m