arch/armv7-r: fix wrong config name, CONFIG_ARMV7R_HAVE_ICACHE
CONFIG_ARMV7R_HAVE_ICACHE does not exist in TizenRT,
CONFIG_ARMV7R_ICACHE does.
Let's change it to CONFIG_ARMV7R_ICACHE.
@@ -491,7 +491,7 @@ static inline void mpu_control(bool enable)
*
****************************************************************************/
-#if defined(CONFIG_ARMV7R_HAVE_ICACHE) || defined(CONFIG_ARMV7R_DCACHE)
+#if defined(CONFIG_ARMV7R_ICACHE) || defined(CONFIG_ARMV7R_DCACHE)
static inline void mpu_priv_stronglyordered(uintptr_t base, size_t size)
{
unsigned int region = mpu_allocregion();
