Přesně tak.
Dle http://elinux.org/Android_Kernel_Download zaktualizovaného pro 3.10 jsem si vytáhl následující počty:
Android 3.10 se od stock kernelu v3.10.55 (aktuálně poslední 3.10) liší o 729 commitů s celkovým diffem velkým 5,5MB (tj. bez commit hlášek).
První commit do androidího repozitáře byl 10.12.2008. Od tohoto data (commit b5aa97e) přibylo do historie verze 3.10.55 ze dne 17.9.2014 celkem 243.282 commitů celkovým diffem 516MB.
Popis viz http://elinux.org/Android_Kernel_Features .
Tak asi tolik k tomu "heavily patched". Kecy, jako obvykle.