diff --git a/src/Kconfig b/src/Kconfig
index b7d2e67b7a..c282d21757 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -334,10 +334,6 @@ source "src/acpi/Kconfig"
 
 source "src/mainboard/Kconfig"
 
-source "src/arch/*/Kconfig"
-
-source "src/vendorcode/*/Kconfig"
-
 config SYSTEM_TYPE_LAPTOP
 	default n
 	bool
@@ -359,6 +355,9 @@ source "src/ec/acpi/Kconfig"
 source "src/ec/*/*/Kconfig"
 source "src/drivers/intel/fsp1_0/Kconfig"
 
+source "src/vendorcode/*/Kconfig"
+source "src/arch/*/Kconfig"
+
 endmenu
 
 source "src/device/Kconfig"