Enable RWSEM_XCHGADD_ALGORITHM by default master
/arch/microblaze/platform
-rw-r--r-- Kconfig.platform
-rw-r--r-- Makefile
drwxr-xr-x generic
-rw-r--r-- platform.c