Debian is shipping one Linux kernel build that runs on a bunch of different ARM devices that are supported by the mainline version of Linux:

https://wiki.debian.org/DebianKernel/ARMMP

Unfortunately most mobile devices are not supported by mainline Linux (N900 is best supported, but not fully), usually only server/desktop/laptop vendors have any incentive to mainline their drivers.