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
1 file changed