I am no expert in these things but PR1.2 is a big update which always requires an external device with the flashing. Regular changes in the kernel can be made "inside" the device but not this one... There was no need for formatting as flashing does some of the "cleaning up" for you. Someone else who knows better can give a better answer...