[charcircuit]

>They use a completely different framework for drivers for hardware

No, both use kernel modules or statically compiled code for the part of the driver that actually talk to the hardware.

>they have their own patches for binder

Binder is part of mainline Linux, but yes I guess technically there are some patches that are related to binder, but remember that Android works on a mainline kernel.