fs/skeleton/sbin/hard_reboot

#!/bin/sh

platform=$(cat /etc/platform)
if [ "$platform" = "GFHD254" ]; then
  gfhd254_reboot
  sleep 5
  echo "Hard reboot failed, soft rebooting."
fi
reboot