microblaze: add generic atomic64 support