Workaround for HTC devices. Seems that /system/bin/reboot doesn't work
for them. Need to use busybox.