tree 743c589f44627f3e6d4564ce41bf136c761c0b10
parent bd26230fab95981cf332cfec0dd2bd2352061965
author John Newlin <jnewlin@google.com> 1471448584 -0700
committer John Newlin <jnewlin@google.com> 1471455943 -0700

Add a hard reboot command for gfhd254.

Change-Id: Ie2ef11cd321109a85fb7489183b2a5dc583d5d17