However, in the definition file 'drivers/android/Kconfig' there is following:
`````
if ANDROID
config ANDROID_BINDER_IPC
bool "Android Binder IPC Driver"
depends on MMU
default n
...
endif
`````
We can see that 'ANDROID_BINDER_IPC' also depends on 'ANDROID'.
So 'CONFIG_ANDROID' should be set to 'y' or 'CONFIG_ANDROID_BINDER_IPC' set to 'n' .