At least I'm on 3.5.0-4 as well (on x64). But I suspect most people are on that kernel due to xorg-edgers pulling that kernel in, at least that's how I believe I got it. The only reason I did add the xorg-edgers PPA was to get decent driver support for my ATI card, and on my non-ATI machines which I also keep up to date that kernel is nowhere to be seen.
At least I'm on 3.5.0-4 as well (on x64). But I suspect most people are on that kernel due to xorg-edgers pulling that kernel in, at least that's how I believe I got it. The only reason I did add the xorg-edgers PPA was to get decent driver support for my ATI card, and on my non-ATI machines which I also keep up to date that kernel is nowhere to be seen.