diff --git a/src/arch/armv7/include/arch/cache.h b/src/arch/armv7/include/arch/cache.h
index 1cd9958..437be83 100644
--- a/src/arch/armv7/include/arch/cache.h
+++ b/src/arch/armv7/include/arch/cache.h
@@ -32,6 +32,7 @@
 #ifndef ARMV7_CACHE_H
 #define ARMV7_CACHE_H
 
+#include <config.h>
 #include <stddef.h>
 #include <stdint.h>
 
@@ -74,19 +75,25 @@
 /* data memory barrier */
 static inline void dmb(void)
 {
+#if !defined(CONFIG_SOC_NVIDIA_TEGRA124) || !defined(__BOOT_BLOCK__)
 	asm volatile ("dmb" : : : "memory");
+#endif
 }
 
 /* data sync barrier */
 static inline void dsb(void)
 {
+#if !defined(CONFIG_SOC_NVIDIA_TEGRA124) || !defined(__BOOT_BLOCK__)
 	asm volatile ("dsb" : : : "memory");
+#endif
 }
 
 /* instruction sync barrier */
 static inline void isb(void)
 {
+#if !defined(CONFIG_SOC_NVIDIA_TEGRA124) || !defined(__BOOT_BLOCK__)
 	asm volatile ("isb" : : : "memory");
+#endif
 }
 
 /*