tree 71dbb8e5356f638a4762d357c9af0d69d4cfd402
parent 2cac5216c65efdc84a539ff39258fc03404e6c4a
author Doug Horn <doughorn@google.com> 1481229654 -0800
committer Doug Horn <doughorn@google.com> 1481229656 -0800

Do a hard reboot after a ginstall.

Platforms that do not support hard reboot
will fall back to a normal reboot. This
functionality is mostly a workaround for
issues with the SDK for GFHD254.

Change-Id: Icc222742f0bc1024eee617f289dc3fb157b668b7