update hal.h to fix turn_led not definition bug

Guo Wenxue

2019-06-27 4fe5c3b3f767773b8bfcc7f4bdba977a12239f7e

tools/rpi_crosstool.tar.bz2 does not exist in tree fe79f007fd6ccdfdfba18d0f46f76dd0e893da4f