I got around to trying to upgrade my wife's two Wheezy systems this afternoon, but the new kernel isn't being listed as available. It's odd, because the old one (2.6.32) is now listed by aptitude as obsolete.
Does anyone know what gives? Thanks, Gilbert