I then did the manual deinstallation to allow reinstall of the kernel-power packages. I'm now running PR1.3 with the same power37 kernel I used before.