Add platform check to gfhd254_reboot.

Change-Id: I0d118f6b2f75e8efa44110e1c850e411378d245d
1 file changed