Nexus 10 no longer rebooting

Just a quickie to report that the N10 has not rebooted since I decided to  Restore Stock Backup taken by the Franco Kernel Updater. This got me back to the original kernel, but About info didn't look right to me so I ended up using the Nexus 10 Toolkit to restore Stock JDQ39. This showed the same build info (i.e. the repeat was unnecessary) but it restored pretty well everything from the Google auto backup, since which I've kept an eye on surfaceflinger, and had no reboots.

Must say I'm surprised, and am left wondering whether my reboots were mostly a Franco problem or not. Once again, one cannot keep too many notes about what one actually does when faultfinding. Memory fades invariably, and I'm afraid my notes were not good enough to know when the Reboots began, on Stock, pre-Root, pre-Franco, or what :(