diff --git a/src/arch/armv7/Kconfig b/src/arch/armv7/Kconfig
index f92911d6b7..65de2d5d1e 100644
--- a/src/arch/armv7/Kconfig
+++ b/src/arch/armv7/Kconfig
@@ -34,7 +34,6 @@ config BOOTBLOCK_SOURCE
 config UPDATE_IMAGE
 	bool "Update existing coreboot.rom image"
 	default n
-	depends on TINY_BOOTBLOCK
 	help
 	  If this option is enabled, no new coreboot.rom file
 	  is created. Instead it is expected that there already
@@ -47,9 +46,11 @@ config BOOTBLOCK_SOC_INIT
 # FIXME: Should cache policy be set on a per-CPU basis?
 # FIXME(dhendrix): Stefan sayz to make a smart decision and not prompt the user.
 config ARM_DCACHE_POLICY_WRITEBACK
-	bool y
+	bool
+	default y
 
 config ARM_DCACHE_POLICY_WRITETHROUGH
-	bool n
+	bool
+	default n
 
 endmenu