HAL: use the official hal binary files

Signed-off-by: scue <linkscue@gmail.com>