[arm64] Enable more drivers for X-Gene (Closes: #840061)

debian/changelog

@@ -237,6 +237,10 @@ linux (4.8.7-1) UNRELEASED; urgency=medium
   * IB: Enable INFINIBAND_RDMAVT as module, re-enabling INFINIBAND_HFI1
     and INFINIBAND_QIB (Closes: #843792)
   * libcpupower-dev: Depend on libcpupower1 (Closes:  #840852)
+  * [arm64] Enable more drivers for X-Gene (Closes: #840061):
+    - ipmi: Enable IPMI_HANDLER, IPMI_DEVICE_INTERFACE, IPMI_SSIF as modules
+    - i2c: Enable I2C_XGENE_SLIMPRO as module
+    - mailbox: Enable XGENE_SLIMPRO_MBOX as module
 
  -- Ben Hutchings <ben@decadent.org.uk>  Wed, 02 Nov 2016 12:01:42 -0600
 

debian/config/arm64/config

@@ -64,6 +64,13 @@ CONFIG_HW_RANDOM_BCM2835=m
 CONFIG_HW_RANDOM_HISI=m
 CONFIG_HW_RANDOM_MSM=m
 
+##
+## file: drivers/char/ipmi/Kconfig
+##
+CONFIG_IPMI_HANDLER=m
+CONFIG_IPMI_DEVICE_INTERFACE=m
+CONFIG_IPMI_SSIF=m
+
 ##
 ## file: drivers/clk/Kconfig
 ##
@@ -189,6 +196,7 @@ CONFIG_I2C_DESIGNWARE_PLATFORM=m
 CONFIG_I2C_QUP=m
 CONFIG_I2C_TEGRA=m
 CONFIG_I2C_CROS_EC_TUNNEL=m
+CONFIG_I2C_XGENE_SLIMPRO=m
 
 ##
 ## file: drivers/iio/adc/Kconfig
@@ -225,6 +233,7 @@ CONFIG_LEDS_GPIO=m
 CONFIG_MAILBOX=y
 CONFIG_BCM2835_MBOX=y
 CONFIG_HI6220_MBOX=y
+CONFIG_XGENE_SLIMPRO_MBOX=m
 
 ##
 ## file: drivers/memory/tegra/Kconfig