0da47dae49
The new android_reboot() function is a nicer way to reboot. It can optionally sync(2) and remount as read-only writable filesystems. This fixes bug 3350709. Change-Id: I792fa3f726f8d685a696f52cf760e731567ed8d4