tree 2cffd23c946b1d84de4ebe06b3114507c933dd21
parent 6ce4a326efae4abb108e19899f4d7776abc362da
author Ken Sumrall <ksumrall@android.com> 1299569847 -0800
committer Ken Sumrall <ksumrall@android.com> 1299814213 -0800

Have recovery reboot using the new android_reboot() function.

The new android_reboot() function is a nicer way to reboot the
system.  I can optionally sync() and remount read-only writable
filesystems.  This fixes bug 3350709.

Change-Id: Ic4c8676debd642e57bce3107b99dd810d90b6f82