bsps/arm: Add arm_cp15_set_trans*_table_entries()

c/src/lib/libcpu/arm/shared/include/arm-cp15.h

@@ -774,6 +774,17 @@ static inline void arm_cp15_wait_for_interrupt(void)
   );
 }
 
+/**
+ * @brief Sets the @a section_flags for the address range [@a begin, @a end).
+ *
+ * @return Previous section flags of the first modified entry.
+ */
+uint32_t arm_cp15_set_translation_table_entries(
+  const void *begin,
+  const void *end,
+  uint32_t section_flags
+);
+
 /** @} */
 
 #ifdef __cplusplus