diff --git a/debian/config/armel/config.marvell b/debian/config/armel/config.marvell
index 5c29f6b9a..f8a71d060 100644
--- a/debian/config/armel/config.marvell
+++ b/debian/config/armel/config.marvell
@@ -19,9 +19,9 @@ CONFIG_ZBOOT_ROM_BSS=0x0
 CONFIG_ARM_APPENDED_DTB=y
 CONFIG_ARM_ATAG_DTB_COMPAT=y
 CONFIG_CMDLINE=""
-# CONFIG_CRASH_DUMP is not set
 # CONFIG_XIP_KERNEL is not set
 CONFIG_ATAGS_PROC=y
+# CONFIG_CRASH_DUMP is not set
 CONFIG_VFP=y
 
 ##
diff --git a/debian/config/armel/config.rpi b/debian/config/armel/config.rpi
index 0442aaea2..608c1cd5f 100644
--- a/debian/config/armel/config.rpi
+++ b/debian/config/armel/config.rpi
@@ -22,7 +22,6 @@ CONFIG_CMA_SIZE_MBYTES=32
 ##
 CONFIG_BT_HCIUART=m
 
-
 ##
 ## file: drivers/dma/Kconfig
 ##
@@ -34,7 +33,6 @@ CONFIG_DMA_BCM2835=y
 ##
 CONFIG_RASPBERRYPI_FIRMWARE=y
 
-
 ##
 ## file: drivers/gpu/drm/Kconfig
 ##
diff --git a/debian/config/armhf/config b/debian/config/armhf/config
index 4f5174733..a0bf4d89a 100644
--- a/debian/config/armhf/config
+++ b/debian/config/armhf/config
@@ -1033,8 +1033,8 @@ CONFIG_REGULATOR_RK808=m
 CONFIG_REGULATOR_S2MPA01=m
 CONFIG_REGULATOR_S2MPS11=m
 CONFIG_REGULATOR_S5M8767=m
-CONFIG_REGULATOR_SY8106A=m
 CONFIG_REGULATOR_TI_ABB=m
+CONFIG_REGULATOR_SY8106A=m
 CONFIG_REGULATOR_TPS65910=m
 CONFIG_REGULATOR_TWL4030=y
 CONFIG_REGULATOR_VEXPRESS=m
diff --git a/debian/config/kernelarch-arm/config b/debian/config/kernelarch-arm/config
index c68b2ce0b..bb116570a 100644
--- a/debian/config/kernelarch-arm/config
+++ b/debian/config/kernelarch-arm/config
@@ -5,9 +5,9 @@ CONFIG_MMU=y
 CONFIG_AEABI=y
 # CONFIG_OABI_COMPAT is not set
 CONFIG_CPU_SW_DOMAIN_PAN=y
-CONFIG_CRASH_DUMP=y
 CONFIG_SECCOMP=y
 CONFIG_KEXEC=y
+CONFIG_CRASH_DUMP=y
 
 ##
 ## file: arch/arm/crypto/Kconfig