diff --git a/config/kernel/linux-meson64-dev.config b/config/kernel/linux-meson64-dev.config
index fc4af0c49..7a7ba351b 100644
--- a/config/kernel/linux-meson64-dev.config
+++ b/config/kernel/linux-meson64-dev.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/arm64 4.13.0-rc4 Kernel Configuration
+# Linux/arm64 4.13.0 Kernel Configuration
 #
 CONFIG_ARM64=y
 CONFIG_64BIT=y
@@ -1340,6 +1340,7 @@ CONFIG_CMA_SIZE_SEL_MBYTES=y
 # CONFIG_CMA_SIZE_SEL_MAX is not set
 CONFIG_CMA_ALIGNMENT=8
 CONFIG_GENERIC_ARCH_TOPOLOGY=y
+# CONFIG_UMP is not set
 
 #
 # Bus devices
@@ -1595,6 +1596,7 @@ CONFIG_SCSI_MOD=y
 CONFIG_SCSI=y
 CONFIG_SCSI_DMA=y
 # CONFIG_SCSI_NETLINK is not set
+# CONFIG_SCSI_MQ_DEFAULT is not set
 # CONFIG_SCSI_PROC_FS is not set
 
 #
@@ -3315,6 +3317,9 @@ CONFIG_MEDIA_TUNER_MC44S803=m
 #
 CONFIG_VGA_ARB=y
 CONFIG_VGA_ARB_MAX_GPUS=16
+# CONFIG_MALI_MIDGARD is not set
+# CONFIG_MALI_PWRSOFT_765 is not set
+CONFIG_MALI_KUTF=m
 CONFIG_DRM=m
 CONFIG_DRM_MIPI_DSI=y
 # CONFIG_DRM_DP_AUX_CHARDEV is not set
@@ -3913,6 +3918,7 @@ CONFIG_USB_OHCI_HCD_PLATFORM=y
 # CONFIG_USB_R8A66597_HCD is not set
 CONFIG_USB_HCD_BCMA=m
 CONFIG_USB_HCD_SSB=m
+CONFIG_USB_PLATFORM_ROOTHUB=y
 # CONFIG_USB_HCD_TEST_MODE is not set
 
 #
@@ -4841,6 +4847,7 @@ CONFIG_PHY_SAMSUNG_USB2=y
 # CONFIG_PHY_EXYNOS4210_USB2 is not set
 # CONFIG_PHY_EXYNOS4X12_USB2 is not set
 # CONFIG_PHY_EXYNOS5250_USB2 is not set
+CONFIG_PHY_MESON_GXL_USB=y
 # CONFIG_POWERCAP is not set
 # CONFIG_MCB is not set
 
diff --git a/config/kernel/linux-rockchip-dev.config b/config/kernel/linux-rockchip-dev.config
index 6fc5cd2f2..852a301be 100644
--- a/config/kernel/linux-rockchip-dev.config
+++ b/config/kernel/linux-rockchip-dev.config
@@ -1,6 +1,6 @@
 #
 # Automatically generated file; DO NOT EDIT.
-# Linux/arm 4.13.0-rc5 Kernel Configuration
+# Linux/arm 4.13.0 Kernel Configuration
 #
 CONFIG_ARM=y
 CONFIG_ARM_HAS_SG_CHAIN=y
@@ -1424,6 +1424,7 @@ CONFIG_SCSI_MOD=y
 CONFIG_SCSI=y
 CONFIG_SCSI_DMA=y
 # CONFIG_SCSI_NETLINK is not set
+# CONFIG_SCSI_MQ_DEFAULT is not set
 CONFIG_SCSI_PROC_FS=y
 
 #
@@ -3098,6 +3099,7 @@ CONFIG_SND_SEQUENCER=y
 CONFIG_SND_SEQ_DUMMY=y
 CONFIG_SND_SEQ_HRTIMER_DEFAULT=y
 CONFIG_SND_SEQ_MIDI_EVENT=y
+CONFIG_SND_SEQ_MIDI=y
 # CONFIG_SND_OPL3_LIB_SEQ is not set
 # CONFIG_SND_OPL4_LIB_SEQ is not set
 CONFIG_SND_DRIVERS=y