I was comparing my Galaxy Nexus phone against my friends newly purchased Nexus 4 and noticed that although the Android builds are the same, the Kernel versions are different. My Nexus has Kernel 3.0.31 while the Nexus 4 has kernel 3.4.0. I’m curious as to why the Galaxy has such an older kernel on it. I realize that the 3.0 series is still being maintained, so not to worry about updates to it. I’m guessing it has something to do with hardware support and Google not wanting to back port drivers to an older kernel. I do know on the Linux desktop side of things, the newer kernels have some performance improvements.