# CONFIG_BCM63XX is not set
# CONFIG_BCM63XX_PHY is not set
# CONFIG_BCMA is not set
+# CONFIG_BCMA_DRIVER_GPIO is not set
CONFIG_BCMA_POSSIBLE=y
# CONFIG_BCM_WIMAX is not set
# CONFIG_BDI_SWITCH is not set
# CONFIG_CEPH_FS is not set
# CONFIG_CEPH_LIB is not set
# CONFIG_CFG80211 is not set
-# CONFIG_CGROUP_DEBUG is not set
# CONFIG_CGROUPS is not set
+# CONFIG_CGROUP_DEBUG is not set
# CONFIG_CHARGER_GPIO is not set
# CONFIG_CHARGER_LP8727 is not set
# CONFIG_CHARGER_MAX8903 is not set
CONFIG_FW_LOADER=y
CONFIG_GACT_PROB=y
# CONFIG_GAMEPORT is not set
+# CONFIG_GCOV is not set
# CONFIG_GCOV_KERNEL is not set
CONFIG_GENERIC_CALIBRATE_DELAY=y
# CONFIG_GENERIC_CPU_DEVICES is not set
# CONFIG_NTFS_DEBUG is not set
# CONFIG_NTFS_FS is not set
# CONFIG_NTFS_RW is not set
+# CONFIG_NTP_PPS is not set
# CONFIG_NVRAM is not set
# CONFIG_NV_TCO is not set
# CONFIG_NXP_STB220 is not set
CONFIG_PPP_MULTILINK=y
# CONFIG_PPP_SYNC_TTY is not set
# CONFIG_PPS is not set
+# CONFIG_PPS_CLIENT_GPIO is not set
+# CONFIG_PPS_CLIENT_KTIMER is not set
+# CONFIG_PPS_CLIENT_LDISC is not set
+# CONFIG_PPS_CLIENT_PARPORT is not set
+# CONFIG_PPS_DEBUG is not set
# CONFIG_PPTP is not set
# CONFIG_PREEMPT is not set
CONFIG_PREEMPT_NONE=y
# CONFIG_PROVE_RCU is not set
# CONFIG_PSB6970_PHY is not set
# CONFIG_PSTORE is not set
+# CONFIG_PTP_1588_CLOCK_IXP46X is not set
# CONFIG_QLA3XXX is not set
# CONFIG_QLCNIC is not set
# CONFIG_QLGE is not set
# CONFIG_SQUASHFS_ZLIB is not set
# CONFIG_SSB is not set
# CONFIG_SSB_DEBUG is not set
+# CONFIG_SSB_DRIVER_GPIO is not set
# CONFIG_SSB_PCMCIAHOST is not set
CONFIG_SSB_POSSIBLE=y
# CONFIG_SSB_SDIOHOST is not set