diff --git a/debian/config/config b/debian/config/config
index fe785f466..87471504e 100644
--- a/debian/config/config
+++ b/debian/config/config
@@ -422,6 +422,7 @@ CONFIG_EFI_VARS_PSTORE=m
 # CONFIG_GPIO_SYSFS is not set
 # CONFIG_GPIO_GENERIC_PLATFORM is not set
 # CONFIG_GPIO_IT8761E is not set
+# CONFIG_GPIO_SCH311X is not set
 # CONFIG_GPIO_TS5500 is not set
 # CONFIG_GPIO_VX855 is not set
 # CONFIG_GPIO_MAX7300 is not set
@@ -692,6 +693,15 @@ CONFIG_I2C_DIOLAN_U2C=m
 CONFIG_I2C_TAOS_EVM=m
 CONFIG_I2C_TINY_USB=m
 
+##
+## file: drivers/i2c/muxes/Kconfig
+##
+# CONFIG_I2C_ARB_GPIO_CHALLENGE is not set
+# CONFIG_I2C_MUX_GPIO is not set
+# CONFIG_I2C_MUX_PCA9541 is not set
+# CONFIG_I2C_MUX_PCA954x is not set
+# CONFIG_I2C_MUX_PINCTRL is not set
+
 ##
 ## file: drivers/ide/Kconfig
 ##
@@ -779,6 +789,11 @@ CONFIG_HID_SENSOR_GYRO_3D=m
 # CONFIG_IIO_ST_GYRO_3AXIS is not set
 # CONFIG_ITG3200 is not set
 
+##
+## file: drivers/iio/humidity/Kconfig
+##
+# CONFIG_DHT11 is not set
+
 ##
 ## file: drivers/iio/imu/Kconfig
 ##
@@ -794,7 +809,13 @@ CONFIG_HID_SENSOR_GYRO_3D=m
 ## file: drivers/iio/light/Kconfig
 ##
 # CONFIG_ADJD_S311 is not set
+# CONFIG_APDS9300 is not set
+# CONFIG_CM32181 is not set
+# CONFIG_CM36651 is not set
+# CONFIG_GP2AP020A00F is not set
+# CONFIG_TCS3472 it not set
 # CONFIG_SENSORS_TSL2563 is not set
+# CONFIG_TSL4531 is not set
 # CONFIG_VCNL4000 is not set
 CONFIG_HID_SENSOR_ALS=m
 
@@ -809,6 +830,12 @@ CONFIG_HID_SENSOR_MAGNETOMETER_3D=m
 ##
 CONFIG_HID_SENSOR_INCLINOMETER_3D=m
 
+##
+## file: drivers/iio/pressure/Kconfig
+##
+# CONFIG_MPL3115 is not set
+# CONFIG_IIO_ST_PRESS is not set
+
 ##
 ## file: drivers/infiniband/Kconfig
 ##
@@ -1890,6 +1917,7 @@ CONFIG_MFD_RTSX_PCI=m
 # CONFIG_ABX500_CORE is not set
 # CONFIG_AB3100_CORE is not set
 CONFIG_AB3100_OTP=m
+# CONFIG_MFD_LP3943 is not set
 # CONFIG_TPS6105X is not set
 # CONFIG_TPS65010 is not set
 # CONFIG_TPS6507X is not set
@@ -2732,6 +2760,7 @@ CONFIG_ATH9K=m
 CONFIG_ATH9K_PCI=y
 # CONFIG_ATH9K_AHB is not set
 # CONFIG_ATH9K_DEBUGFS is not set
+# CONFIG_ATH9K_WOW is not set
 # CONFIG_ATH9K_LEGACY_RATE_CONTROL is not set
 CONFIG_ATH9K_RFKILL=y
 CONFIG_ATH9K_HTC=m
@@ -2982,6 +3011,14 @@ CONFIG_YENTA_TI=y
 CONFIG_YENTA_ENE_TUNE=y
 CONFIG_YENTA_TOSHIBA=y
 
+##
+## file: drivers/phy/Kconfig
+##
+# CONFIG_GENERIC_PHY is not set
+# CONFIG_PHY_EXYNOS_MIPI_VIDEO is not set
+# CONFIG_PHY_EXYNOS_DP_VIDEO is not set
+# CONFIG_BCM_KONA_USB2_PHY is not set
+
 ##
 ## file: drivers/platform/x86/Kconfig
 ##
@@ -3086,6 +3123,8 @@ CONFIG_RTC_INTF_DEV=y
 # CONFIG_RTC_DRV_MAX6900 is not set
 # CONFIG_RTC_DRV_RS5C372 is not set
 # CONFIG_RTC_DRV_ISL1208 is not set
+# CONFIG_RTC_DRV_ISL12022 is not set
+# CONFIG_RTC_DRV_ISL12057 is not set
 # CONFIG_RTC_DRV_X1205 is not set
 # CONFIG_RTC_DRV_PCF8563 is not set
 # CONFIG_RTC_DRV_PCF8583 is not set
@@ -3360,6 +3399,11 @@ CONFIG_STAGING=y
 ##
 # CONFIG_ASUS_OLED is not set
 
+##
+## file: drivers/staging/media/bcm2048/Kconfig
+##
+# CONFIG_I2C_BCM2048 is not set
+
 ##
 ## file: drivers/staging/comedi/Kconfig
 ##
@@ -3390,11 +3434,21 @@ CONFIG_STAGING=y
 ##
 # CONFIG_LINE6_USB is not set
 
+##
+## file: drivers/staging/lustre/lustre/Kconfig
+##
+# CONFIG_LUSTRE_FS is not set
+
 ##
 ## file: drivers/staging/media/Kconfig
 ##
 # CONFIG_STAGING_MEDIA is not set
 
+##
+## file: drivers/staging/media/omap24xx/Kconfig
+##
+# CONFIG_VIDEO_TCM825X is not set
+
 ##
 ## file: drivers/staging/panel/Kconfig
 ##
@@ -3405,11 +3459,51 @@ CONFIG_STAGING=y
 ##
 # CONFIG_IDE_PHISON is not set
 
+##
+## file: drivers/staging/rtl8187se/Kconfig
+##
+# CONFIG_R8187SE is not set
+
+##
+## file: drivers/staging/rtl8188eu/Kconfig
+##
+# CONFIG_R8188EU is not set
+
+##
+## file: drivers/staging/rtl8192e/Kconfig
+##
+# CONFIG_RTLLIB is not set
+
 ##
 ## file: drivers/staging/rtl8192e/rtl8192e/Kconfig
 ##
 # CONFIG_RTL8192E is not set
 
+##
+## file: drivers/staging/rtl8192u/Kconfig
+##
+# CONFIG_RTL8192U is not set
+
+##
+## file: drivers/staging/rtl8712/Kconfig
+##
+# CONFIG_R8712U is not set
+
+##
+## file: drivers/staging/rtl8821ae/Kconfig
+##
+# CONFIG_R8821AE is not set
+
+##
+## file: drivers/staging/rts5139/Kconfig
+##
+# CONFIG_RTS5139 is not set
+
+##
+## file: drivers/staging/rts5208/Kconfig
+##
+# CONFIG_RTS5208 is not set
+
 ##
 ## file: drivers/staging/sep/Kconfig
 ##
@@ -3454,6 +3548,11 @@ CONFIG_SPEAKUP_SYNTH_SPKOUT=m
 CONFIG_SPEAKUP_SYNTH_TXPRT=m
 CONFIG_SPEAKUP_SYNTH_DUMMY=m
 
+##
+## file: drivers/staging/usbip/Kconfig
+##
+# CONFIG_USBIP_CORE is not set
+
 ##
 ## file: drivers/staging/vt6655/Kconfig
 ##
@@ -3627,6 +3726,7 @@ CONFIG_USB_DYNAMIC_MINORS=y
 ## file: drivers/usb/gadget/Kconfig
 ##
 # CONFIG_USB_GADGET is not set
+# CONFIG_USB_GR_UDC is not set
 
 ##
 ## file: drivers/usb/host/Kconfig
@@ -3699,6 +3799,7 @@ CONFIG_USB_MON=y
 ##
 ## file: drivers/usb/phy/Kconfig
 ##
+# CONFIG_USB_OTG_FSM is not set
 # CONFIG_AB8500_USB is not set
 # CONFIG_FSL_USB2_OTG is not set
 # CONFIG_ISP1301_OMAP is not set
@@ -3836,6 +3937,7 @@ CONFIG_FIRMWARE_EDID=y
 # CONFIG_FB_FOREIGN_ENDIAN is not set
 CONFIG_FB_ARC=m
 # CONFIG_FB_UVESA is not set
+# CONFIG_FB_OPENCORES is not set
 # CONFIG_FB_S1D13XXX is not set
 # CONFIG_FB_I740 is not set
 # CONFIG_FB_INTEL_DEBUG is not set
@@ -3951,6 +4053,7 @@ CONFIG_WATCHDOG=y
 CONFIG_SOFT_WATCHDOG=m
 CONFIG_WM831X_WATCHDOG=m
 CONFIG_WM8350_WATCHDOG=m
+# CONFIG_DW_WATCHDOG is not set
 CONFIG_SBC_FITPC2_WATCHDOG=m
 CONFIG_ITCO_WDT=m
 CONFIG_ITCO_VENDOR_SUPPORT=y
@@ -4744,6 +4847,7 @@ CONFIG_DETECT_HUNG_TASK=y
 CONFIG_DEFAULT_HUNG_TASK_TIMEOUT=120
 # CONFIG_BOOTPARAM_HUNG_TASK_PANIC is not set
 # CONFIG_PANIC_ON_OOPS is not set
+CONFIG_PANIC_TIMEOUT=0
 CONFIG_SCHED_DEBUG=y
 # CONFIG_SCHEDSTATS is not set
 CONFIG_TIMER_STATS=y
@@ -4786,6 +4890,8 @@ CONFIG_DEBUG_BUGVERBOSE=y
 # CONFIG_TEST_KSTRTOX is not set
 # CONFIG_FIREWIRE_OHCI_REMOTE_DMA is not set
 # CONFIG_DMA_API_DEBUG is not set
+# CONFIG_TEST_MODULE is not set
+# CONFIG_TEST_USER_COPY is not set
 
 ##
 ## file: lib/fonts/Kconfig
@@ -5264,6 +5370,7 @@ CONFIG_NETFILTER_XT_MATCH_HL=m
 CONFIG_NETFILTER_XT_MATCH_IPCOMP=m
 CONFIG_NETFILTER_XT_MATCH_IPRANGE=m
 CONFIG_NETFILTER_XT_MATCH_IPVS=m
+CONFIG_NETFILTER_XT_MATCH_L2TP=m
 CONFIG_NETFILTER_XT_MATCH_LENGTH=m
 CONFIG_NETFILTER_XT_MATCH_LIMIT=m
 CONFIG_NETFILTER_XT_MATCH_MAC=m
diff --git a/debian/config/kernelarch-x86/config b/debian/config/kernelarch-x86/config
index b2d580357..e071f09db 100644
--- a/debian/config/kernelarch-x86/config
+++ b/debian/config/kernelarch-x86/config
@@ -421,6 +421,11 @@ CONFIG_DMIID=y
 CONFIG_ISCSI_IBFT_FIND=y
 CONFIG_ISCSI_IBFT=y
 
+##
+## file: drivers/firmware/efi/Kconfig
+##
+CONFIG_EFI_RUNTIME_MAP=y
+
 ##
 ## file: drivers/firmware/google/Kconfig
 ##
@@ -447,6 +452,7 @@ CONFIG_DRM_RADEON=m
 # CONFIG_DRM_I810 is not set
 CONFIG_DRM_I915=m
 CONFIG_DRM_I915_KMS=y
+# CONFIG_DRM_I915_UMS is not set
 CONFIG_DRM_MGA=m
 CONFIG_DRM_SIS=m