'ANDROID_BINDER_IPC' in linux-image-5.19.0-1-arm64 takes a value that does not match the Kconfig dependency

[孙滢 <sunying@nj.iscas.ac.cn>]

Hi,
I noticed that 'CONFIG_ANDROID_BINDER_IPC = m' in package linux-image-5.19.0-1-arm64 boot/config-5.19.0-1-arm64, while 'CONFIG_ANDROID' is set to 'n'.
(https://packages.debian.org/bookworm/arm64/linux-image-5.19.0-1-arm64)

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' .