microblaze: Use static inline functions in cacheflush.h