A fresh install of the released 64bit 12.04 has this kernel as of today: 3.2.0-24-generic #37-Ubuntu SMP There have been a few apt upgrades, so I don't know if this was the same kernel as was on the install cd.