I don't doubt your good intentions . may I suggest altering your first post with directions to those kernel pets that will provide the update you are suggesting to avoid any further confusionI gave this a try on a fresh USB flash frugal install of Precise 5.7.1 Retro - took about 8 minutes for the kernel_src-3.12.11-patched.pet install to finish, added about 400mb to the savefile - but both uname -a and the system info utility show the old kernel (3.2.48 IIRC) still in place - even through multiple reboots. Everything looks/functions fine, otherwise.
regards
Mike