Comment 18 for bug 1436538

@Matthew I guess I was assuming that the reset-all-system-settings option could be provided via the boot options available after pressing the power+VolUp buttons (I'm assuming here that the secondary menu made available when pressing VolUp during the recovery boot is not suitable, as it looked like that was part of the Android stack, but might be wrong).