diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index 791e2189480..da6f1174934 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -2202,6 +2202,7 @@ config SERIAL_TAG
 config STATIC_MACH_TYPE
 	bool "Statically define the Machine ID number"
 	default y if TARGET_DS109 || TARGET_DS414 || DEFAULT_DEVICE_TREE = "sun7i-a20-icnova-swac"
+	depends on SUPPORT_PASSING_ATAGS
 	help
 	  When booting via ATAGs, enable this option if we know the correct
 	  machine ID number to use at compile time.  Some systems will be