bumped up to Linux 4.4.113 / Xenomai 3.0.6

kernel/bela_defconfig

@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/arm 4.4.87 Kernel Configuration
+# Linux/arm 4.4.113 Kernel Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_HAS_SG_CHAIN=y
@@ -412,9 +412,9 @@ CONFIG_XENO_ARCH_FPU=y
 CONFIG_XENO_ARCH_OUTOFLINE_XNLOCK=y
 CONFIG_XENO_VERSION_MAJOR=3
 CONFIG_XENO_VERSION_MINOR=0
-CONFIG_XENO_REVISION_LEVEL=5
-CONFIG_XENO_VERSION_STRING="3.0.5"
-CONFIG_XENO_VERSION_NAME="Sisyphus's Boulder"
+CONFIG_XENO_REVISION_LEVEL=6
+CONFIG_XENO_VERSION_STRING="3.0.6"
+CONFIG_XENO_VERSION_NAME="Stellar Parallax"
 CONFIG_FREEZER=y
 
 #
@@ -1237,6 +1237,7 @@ CONFIG_BRIDGE=m
 CONFIG_BRIDGE_IGMP_SNOOPING=y
 CONFIG_BRIDGE_VLAN_FILTERING=y
 CONFIG_HAVE_NET_DSA=y
+# CONFIG_NET_DSA is not set
 CONFIG_VLAN_8021Q=m
 CONFIG_VLAN_8021Q_GVRP=y
 CONFIG_VLAN_8021Q_MVRP=y
@@ -4086,6 +4087,7 @@ CONFIG_SND_VIRMIDI=m
 # CONFIG_SND_MTPAV is not set
 # CONFIG_SND_SERIAL_U16550 is not set
 # CONFIG_SND_MPU401 is not set
+CONFIG_SND_PWMSP=m
 CONFIG_SND_AC97_POWER_SAVE=y
 CONFIG_SND_AC97_POWER_SAVE_DEFAULT=0
 
@@ -4116,6 +4118,8 @@ CONFIG_SND_DAVINCI_SOC_MCASP=m
 CONFIG_SND_DAVINCI_SOC_GENERIC_EVM=m
 CONFIG_SND_AM33XX_SOC_EVM=m
 # CONFIG_SND_AM33XX_SOC_WILINK8_BT is not set
+CONFIG_SND_AM33XX_SOC_JUSTBOOM_DAC=m
+CONFIG_SND_AM33XX_SOC_JUSTBOOM_DIGI=m
 CONFIG_SND_DAVINCI_SOC_CTAG_FACE_2_4=m
 # CONFIG_SND_DESIGNWARE_I2S is not set
 
@@ -4176,7 +4180,8 @@ CONFIG_SND_SOC_HDMI_CODEC=m
 # CONFIG_SND_SOC_GTM601 is not set
 # CONFIG_SND_SOC_PCM1681 is not set
 # CONFIG_SND_SOC_PCM1792A is not set
-# CONFIG_SND_SOC_PCM512x_I2C is not set
+CONFIG_SND_SOC_PCM512x=m
+CONFIG_SND_SOC_PCM512x_I2C=m
 # CONFIG_SND_SOC_PCM512x_SPI is not set
 # CONFIG_SND_SOC_RT5631 is not set
 # CONFIG_SND_SOC_RT5677_SPI is not set
@@ -4212,7 +4217,8 @@ CONFIG_SND_SOC_TWL4030=m
 # CONFIG_SND_SOC_WM8753 is not set
 # CONFIG_SND_SOC_WM8770 is not set
 # CONFIG_SND_SOC_WM8776 is not set
-# CONFIG_SND_SOC_WM8804_I2C is not set
+CONFIG_SND_SOC_WM8804=m
+CONFIG_SND_SOC_WM8804_I2C=m
 # CONFIG_SND_SOC_WM8804_SPI is not set
 # CONFIG_SND_SOC_WM8903 is not set
 # CONFIG_SND_SOC_WM8962 is not set